「「仮にか弱いということはないなら「同情出来ない」ということは成り立つ」モンスターはいる」ということは間違いである
fact1: か弱いモンスターは同情出来ない fact2: 「あのもいもわLv.16はか弱くない」ということは確かであるならあのもいもわLv.16は目敏くない fact3: 「仮にか弱くないとすれば同情出来る」モンスターはいる fact4: 「か弱いということはないモンスターは同情出来る」ということは正しい fact5: もし仮にそのぽわぽのLv.37がか弱いならそのぽわぽのLv.37は同情出来ない fact6: 仮になんらかのモンスターがか弱くないとするとそれは同情出来るということはない
fact6 -> int1: もしもそのぽわぽのLv.37がか弱いということはないとすればそのぽわぽのLv.37は同情出来ない; int1 -> hypothesis;
fact6 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
$facts$ = fact1: か弱いモンスターは同情出来ない fact2: 「あのもいもわLv.16はか弱くない」ということは確かであるならあのもいもわLv.16は目敏くない fact3: 「仮にか弱くないとすれば同情出来る」モンスターはいる fact4: 「か弱いということはないモンスターは同情出来る」ということは正しい fact5: もし仮にそのぽわぽのLv.37がか弱いならそのぽわぽのLv.37は同情出来ない fact6: 仮になんらかのモンスターがか弱くないとするとそれは同情出来るということはない ; $hypothesis$ = 「「仮にか弱いということはないなら「同情出来ない」ということは成り立つ」モンスターはいる」ということは間違いである ; $proof$ = 
fact6 -> int1: もしもそのぽわぽのLv.37がか弱いということはないとすればそのぽわぽのLv.37は同情出来ない; int1 -> hypothesis; __DISPROVED__
fact6 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis; __DISPROVED__