あのもにゃもえLv.84は判断し難い
fact1: 仮にあのもにゃもえLv.84が細かくなくてそれが物らしくないとしたらあのもにょもねLv.53は判断し難い fact2: 仮にこのぽねぽちゅLv.33が集まり易くないなら拉致るしその上根気良い fact3: もし仮にあのもにょもねLv.53は物らしくないが耐え難いとすると「あのもにゃもえLv.84は判断し難い」ということは本当である fact4: 仮にあのもにょもねLv.53が物らしくないししかもそれが耐え難くないならばあのもにゃもえLv.84は判断し難い fact5: 細かいモンスターは確からしくないしさらにしょっぱいということはない fact6: 細かくないモンスターは物らしくないし耐え難くない fact7: あのもにょもねLv.53は細かくない
fact6 -> int1: 仮にあのもにょもねLv.53が細かくないとすれば物らしいということはないしまたそれは耐え難くない; int1 & fact7 -> int2: あのもにょもねLv.53は物らしくないしそれは耐え難くない; int2 & fact4 -> hypothesis;
fact6 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact7 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact4 -> hypothesis;
あのもにょもねLv.53は確からしくないしそれはしょっぱくない
fact8 -> int3: もし仮にあのもにょもねLv.53が細かいとしたらあのもにょもねLv.53は確からしくないしそれはしょっぱくない;
$facts$ = fact1: 仮にあのもにゃもえLv.84が細かくなくてそれが物らしくないとしたらあのもにょもねLv.53は判断し難い fact2: 仮にこのぽねぽちゅLv.33が集まり易くないなら拉致るしその上根気良い fact3: もし仮にあのもにょもねLv.53は物らしくないが耐え難いとすると「あのもにゃもえLv.84は判断し難い」ということは本当である fact4: 仮にあのもにょもねLv.53が物らしくないししかもそれが耐え難くないならばあのもにゃもえLv.84は判断し難い fact5: 細かいモンスターは確からしくないしさらにしょっぱいということはない fact6: 細かくないモンスターは物らしくないし耐え難くない fact7: あのもにょもねLv.53は細かくない ; $hypothesis$ = あのもにゃもえLv.84は判断し難い ; $proof$ = 
fact6 -> int1: 仮にあのもにょもねLv.53が細かくないとすれば物らしいということはないしまたそれは耐え難くない; int1 & fact7 -> int2: あのもにょもねLv.53は物らしくないしそれは耐え難くない; int2 & fact4 -> hypothesis; __PROVED__
fact6 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact7 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact4 -> hypothesis; __PROVED__