このもやもなLv.36は白々しくないかもしくはそれは酸い
fact1: 冗談ぽくないモンスターは親しない fact2: このもやもなLv.36は冗談ぽくない fact3: 仮に「このもやもなLv.36は親しない」ということは成り立つとするとこのもやもなLv.36は禍々しい一方でそれは親しない fact4: もしもこのもやもなLv.36が禍々しいけれど親しということはないならばこのもやもなLv.36は白々しいということはない fact5: もし仮にとあるモンスターが根気強くないなら禍々しいということはない
fact1 -> int1: もし仮にこのもやもなLv.36が冗談ぽくないとしたらそれは親しということはない; int1 & fact2 -> int2: 「このもやもなLv.36は親しない」ということは成り立つ; int2 & fact3 -> int3: 「このもやもなLv.36は禍々しいがしかし親しない」ということは成り立つ; int3 & fact4 -> int4: このもやもなLv.36は白々しいということはない; int4 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 & fact2 -> int2: ¬{C}{aa}; int2 & fact3 -> int3: ({D}{aa} & ¬{C}{aa}); int3 & fact4 -> int4: ¬{A}{aa}; int4 -> hypothesis;
仮にこのもやもなLv.36が根気強くないとするとそれは禍々しいということはない
fact6 -> hypothesis;
$facts$ = fact1: 冗談ぽくないモンスターは親しない fact2: このもやもなLv.36は冗談ぽくない fact3: 仮に「このもやもなLv.36は親しない」ということは成り立つとするとこのもやもなLv.36は禍々しい一方でそれは親しない fact4: もしもこのもやもなLv.36が禍々しいけれど親しということはないならばこのもやもなLv.36は白々しいということはない fact5: もし仮にとあるモンスターが根気強くないなら禍々しいということはない ; $hypothesis$ = このもやもなLv.36は白々しくないかもしくはそれは酸い ; $proof$ = 
fact1 -> int1: もし仮にこのもやもなLv.36が冗談ぽくないとしたらそれは親しということはない; int1 & fact2 -> int2: 「このもやもなLv.36は親しない」ということは成り立つ; int2 & fact3 -> int3: 「このもやもなLv.36は禍々しいがしかし親しない」ということは成り立つ; int3 & fact4 -> int4: このもやもなLv.36は白々しいということはない; int4 -> hypothesis; __PROVED__
fact1 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 & fact2 -> int2: ¬{C}{aa}; int2 & fact3 -> int3: ({D}{aa} & ¬{C}{aa}); int3 & fact4 -> int4: ¬{A}{aa}; int4 -> hypothesis; __PROVED__