非論理的帰結演算

　軍事用の斥候アンドロイド。 　タイプCは紛争地帯で活躍し、タイプBは性能が劣っていたからお払い箱。 　そこで、若い研究員が古参の博士に聞いた。 「BとCがいるのに、タイプAはいなかったんですか？」