「もし飲み難くないとすると引き難くないししかも運転し易くない」モンスターはいる
fact1: 「飲み難くないモンスターは引き難くないし運転し易くない」ということは真実である fact2: しぶとくないモンスターは加重平均しないしさらに騒がしくない fact3: 飲み難くないモンスターは引き難いということはないけど運転し易い fact4: 仮にこのみなみのLv.45は御覧頂くとすると「このみなみのLv.45は引き難くなくてそれに遊行しない」ということは本当だ fact5: 「もし油断するとすればおもろくなくて働き易くない」モンスターはいる
fact1 -> int1: このみなみのLv.45が飲み難くないとするとこのみなみのLv.45は引き難くないしその上運転し易くない; int1 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
「仮にしぶとくないとすれば加重平均しないしそれに騒がしくない」モンスターはいる
fact6 -> int2: そのもゆもくLv.11がしぶとくないならばそのもゆもくLv.11は加重平均しなくてしかもそれは騒がしくない; int2 -> hypothesis;
$facts$ = fact1: 「飲み難くないモンスターは引き難くないし運転し易くない」ということは真実である fact2: しぶとくないモンスターは加重平均しないしさらに騒がしくない fact3: 飲み難くないモンスターは引き難いということはないけど運転し易い fact4: 仮にこのみなみのLv.45は御覧頂くとすると「このみなみのLv.45は引き難くなくてそれに遊行しない」ということは本当だ fact5: 「もし油断するとすればおもろくなくて働き易くない」モンスターはいる ; $hypothesis$ = 「もし飲み難くないとすると引き難くないししかも運転し易くない」モンスターはいる ; $proof$ = 
fact1 -> int1: このみなみのLv.45が飲み難くないとするとこのみなみのLv.45は引き難くないしその上運転し易くない; int1 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __PROVED__