「このみねみなLv.87はこよないししかもきな臭い」ということは間違っている
fact1: 傷付け易くないモンスターが寂しくないならそれは収蔵するということはない fact2: このみねみなLv.87はきな臭い fact3: あのもにゅもわLv.80が臣従しないとしたら臣従しないしそれに築き難くない fact4: あのもにゅもわLv.80は目敏いということはないしその上通り難いということはない fact5: もしも目敏くないモンスターが通り難くないとするとそれは臣従するということはない fact6: あのまにまわLv.26は通り難い fact7: もしあのもにゅもわLv.80が臣従しないしおまけに築き難くないとするとこのみねみなLv.87はこよない
fact5 -> int1: もしあのもにゅもわLv.80が目敏くなくてまたそれが通り難くないとしたらあのもにゅもわLv.80は臣従しない; int1 & fact4 -> int2: 「あのもにゅもわLv.80は臣従しない」ということは成り立つ; int2 & fact3 -> int3: あのもにゅもわLv.80は臣従するということはなくてそれにそれは築き難いということはない; int3 & fact7 -> int4: このみねみなLv.87はこよない; int4 & fact2 -> hypothesis;
fact5 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact4 -> int2: ¬{B}{aa}; int2 & fact3 -> int3: (¬{B}{aa} & ¬{C}{aa}); int3 & fact7 -> int4: {A}{a}; int4 & fact2 -> hypothesis;
もしもあのみちゃみゆLv.45が傷付け易くないししかも寂しくないとするとあのみちゃみゆLv.45は収蔵しない
fact8 -> hypothesis;
$facts$ = fact1: 傷付け易くないモンスターが寂しくないならそれは収蔵するということはない fact2: このみねみなLv.87はきな臭い fact3: あのもにゅもわLv.80が臣従しないとしたら臣従しないしそれに築き難くない fact4: あのもにゅもわLv.80は目敏いということはないしその上通り難いということはない fact5: もしも目敏くないモンスターが通り難くないとするとそれは臣従するということはない fact6: あのまにまわLv.26は通り難い fact7: もしあのもにゅもわLv.80が臣従しないしおまけに築き難くないとするとこのみねみなLv.87はこよない ; $hypothesis$ = 「このみねみなLv.87はこよないししかもきな臭い」ということは間違っている ; $proof$ = 
fact5 -> int1: もしあのもにゅもわLv.80が目敏くなくてまたそれが通り難くないとしたらあのもにゅもわLv.80は臣従しない; int1 & fact4 -> int2: 「あのもにゅもわLv.80は臣従しない」ということは成り立つ; int2 & fact3 -> int3: あのもにゅもわLv.80は臣従するということはなくてそれにそれは築き難いということはない; int3 & fact7 -> int4: このみねみなLv.87はこよない; int4 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact4 -> int2: ¬{B}{aa}; int2 & fact3 -> int3: (¬{B}{aa} & ¬{C}{aa}); int3 & fact7 -> int4: {A}{a}; int4 & fact2 -> hypothesis; __DISPROVED__