「そのまにゃまわLv.12は取っ付き易いししかも空恐ろしい」ということは嘘だ
fact1: もしも何らかのモンスターが嘗め取るとしたら取っ付き易い fact2: そのみちゃみのLv.72は様良くない fact3: そのまにゃまわLv.12が様良しし空恐ろしいならそのみゆみいLv.30は空恐ろしくない fact4: もしもそのまにゃまわLv.12が外れないとするとそのまにゃまわLv.12は田舎っぽくないがしかし様良し fact5: 「そのまにゃまわLv.12は田舎っぽい一方で様良しということはない」ということは本当でないならば嘗め取る fact6: 様良くないモンスターは取っ付き易くない fact7: もし仮にそのみちゃみのLv.72は取っ付き易くないならば「そのまにゃまわLv.12は取っ付き易いし空恐ろしい」ということは成り立たない
fact6 -> int1: もしそのみちゃみのLv.72が様良くないとするとそのみちゃみのLv.72は取っ付き易くない; int1 & fact2 -> int2: そのみちゃみのLv.72は取っ付き易くない; int2 & fact7 -> hypothesis;
fact6 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 & fact2 -> int2: ¬{C}{aa}; int2 & fact7 -> hypothesis;
そのみゆみいLv.30は空恐ろしくない
$facts$ = fact1: もしも何らかのモンスターが嘗め取るとしたら取っ付き易い fact2: そのみちゃみのLv.72は様良くない fact3: そのまにゃまわLv.12が様良しし空恐ろしいならそのみゆみいLv.30は空恐ろしくない fact4: もしもそのまにゃまわLv.12が外れないとするとそのまにゃまわLv.12は田舎っぽくないがしかし様良し fact5: 「そのまにゃまわLv.12は田舎っぽい一方で様良しということはない」ということは本当でないならば嘗め取る fact6: 様良くないモンスターは取っ付き易くない fact7: もし仮にそのみちゃみのLv.72は取っ付き易くないならば「そのまにゃまわLv.12は取っ付き易いし空恐ろしい」ということは成り立たない ; $hypothesis$ = 「そのまにゃまわLv.12は取っ付き易いししかも空恐ろしい」ということは嘘だ ; $proof$ = 
fact6 -> int1: もしそのみちゃみのLv.72が様良くないとするとそのみちゃみのLv.72は取っ付き易くない; int1 & fact2 -> int2: そのみちゃみのLv.72は取っ付き易くない; int2 & fact7 -> hypothesis; __PROVED__
fact6 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 & fact2 -> int2: ¬{C}{aa}; int2 & fact7 -> hypothesis; __PROVED__