そのみくみくLv.76は其れっぽいしかつ厳しい
fact1: なんらかのモンスターは考え始めないとすると「荒々しくておまけに愛し」ということは成り立つということはない fact2: あのぽにぽちょLv.12は愛し fact3: もしあのぽにぽちょLv.12が荒々しくないとしたらそのみくみくLv.76は其れっぽくて厳しい fact4: もし仮に「あのぽにぽちょLv.12はやくざっぽいがしかしそっくり返らない」ということは成り立たないならばそれは荒々しくない fact5: もし仮にあるモンスターは愛しないとすれば「其れっぽくて更に厳しい」ということは成り立たない fact6: もし仮に「なんらかのモンスターは固しがそれは懐こくない」ということは成り立たないとすると考え始めない fact7: もしもあのぽにぽちょLv.12は愛しとすると「「それはやくざっぽい一方でそっくり返らない」ということは正しい」ということは成り立たない fact8: もしもそのみくみくLv.76が荒々しくないならあのぽにぽちょLv.12は厳しい
fact7 & fact2 -> int1: 「あのぽにぽちょLv.12はやくざっぽいがしかしそっくり返るということはない」ということは間違っている; int1 & fact4 -> int2: あのぽにぽちょLv.12は荒々しくない; int2 & fact3 -> hypothesis;
fact7 & fact2 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact4 -> int2: ¬{B}{a}; int2 & fact3 -> hypothesis;
「そのみくみくLv.76は其れっぽくて更に厳しい」ということは偽である
fact9 -> int3: もしそのみくみくLv.76は愛しないとしたら「そのみくみくLv.76は其れっぽくて加えて厳しい」ということは本当でない; fact10 -> int4: もしもそのみくみくLv.76は考え始めるということはないとしたら「そのみくみくLv.76は荒々しいしさらに愛し」ということは間違っている; fact11 -> int5: もし「そのみくみくLv.76は固し一方でそれは懐こくない」ということは成り立たないとしたらそのみくみくLv.76は考え始めない;
$facts$ = fact1: なんらかのモンスターは考え始めないとすると「荒々しくておまけに愛し」ということは成り立つということはない fact2: あのぽにぽちょLv.12は愛し fact3: もしあのぽにぽちょLv.12が荒々しくないとしたらそのみくみくLv.76は其れっぽくて厳しい fact4: もし仮に「あのぽにぽちょLv.12はやくざっぽいがしかしそっくり返らない」ということは成り立たないならばそれは荒々しくない fact5: もし仮にあるモンスターは愛しないとすれば「其れっぽくて更に厳しい」ということは成り立たない fact6: もし仮に「なんらかのモンスターは固しがそれは懐こくない」ということは成り立たないとすると考え始めない fact7: もしもあのぽにぽちょLv.12は愛しとすると「「それはやくざっぽい一方でそっくり返らない」ということは正しい」ということは成り立たない fact8: もしもそのみくみくLv.76が荒々しくないならあのぽにぽちょLv.12は厳しい ; $hypothesis$ = そのみくみくLv.76は其れっぽいしかつ厳しい ; $proof$ = 
fact7 & fact2 -> int1: 「あのぽにぽちょLv.12はやくざっぽいがしかしそっくり返るということはない」ということは間違っている; int1 & fact4 -> int2: あのぽにぽちょLv.12は荒々しくない; int2 & fact3 -> hypothesis; __PROVED__
fact7 & fact2 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact4 -> int2: ¬{B}{a}; int2 & fact3 -> hypothesis; __PROVED__