そのまにゃまにゃLv.30は心安くない
fact1: もし「なんらかのモンスターは危ないかもしくは固い」ということは誤っているとしたらそれは心安くない fact2: あのぴくぴにょLv.52が危ないならばあのまえまにゃLv.80は危ないがしかし清しない fact3: あのぴくぴにょLv.52は固くない fact4: もしあのまえまにゃLv.80が危ないしかつ清しとしたらそのまにゃまにゃLv.30は心安い fact5: あのまえまにゃLv.80が危ないけれどそれが清しないならばそのまにゃまにゃLv.30は心安い fact6: 仮にあのぴくぴにょLv.52が固くないならば危ない
fact6 & fact3 -> int1: あのぴくぴにょLv.52は危ない; int1 & fact2 -> int2: あのまえまにゃLv.80は危ないがしかし清しない; int2 & fact5 -> hypothesis;
fact6 & fact3 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{b} & ¬{D}{b}); int2 & fact5 -> hypothesis;
あのぴくぴにょLv.52は心安いということはない
fact7 -> int3: 「あのぴくぴにょLv.52は危ないか固い」ということは間違いだとしたら心安くない;
$facts$ = fact1: もし「なんらかのモンスターは危ないかもしくは固い」ということは誤っているとしたらそれは心安くない fact2: あのぴくぴにょLv.52が危ないならばあのまえまにゃLv.80は危ないがしかし清しない fact3: あのぴくぴにょLv.52は固くない fact4: もしあのまえまにゃLv.80が危ないしかつ清しとしたらそのまにゃまにゃLv.30は心安い fact5: あのまえまにゃLv.80が危ないけれどそれが清しないならばそのまにゃまにゃLv.30は心安い fact6: 仮にあのぴくぴにょLv.52が固くないならば危ない ; $hypothesis$ = そのまにゃまにゃLv.30は心安くない ; $proof$ = 
fact6 & fact3 -> int1: あのぴくぴにょLv.52は危ない; int1 & fact2 -> int2: あのまえまにゃLv.80は危ないがしかし清しない; int2 & fact5 -> hypothesis; __DISPROVED__
fact6 & fact3 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{b} & ¬{D}{b}); int2 & fact5 -> hypothesis; __DISPROVED__