「もし仮に賑々しいということはなくて臭くないとすると探し易くない」モンスターはいる
fact1: もしなんらかのモンスターが賑々しくないしかつ臭くないとすればそれは探し易くない
fact1 -> int1: 仮にこのぷにぷよLv.83が賑々しくなくてその上臭くないならこのぷにぷよLv.83は探し易いということはない; int1 -> hypothesis;
fact1 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしなんらかのモンスターが賑々しくないしかつ臭くないとすればそれは探し易くない ; $hypothesis$ = 「もし仮に賑々しいということはなくて臭くないとすると探し易くない」モンスターはいる ; $proof$ = 
fact1 -> int1: 仮にこのぷにぷよLv.83が賑々しくなくてその上臭くないならこのぷにぷよLv.83は探し易いということはない; int1 -> hypothesis; __PROVED__
fact1 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __PROVED__