「そのぷちょぷのLv.1は損傷するし女っぽい」ということは間違っている
fact1: もし仮に「なんらかのモンスターは冷め易くない」ということは確かであるとすれば「それは損傷するししかも女っぽい」ということは事実と異なる fact2: そのぷちょぷのLv.1は損傷する fact3: そのぴにょぴのLv.32は蹴散らす fact4: もしそのぷちょぷのLv.1が冷め易いならそのぴにょぴのLv.32は女っぽい fact5: もしもそのぴにょぴのLv.32が冷め易いとすればそのぷちょぷのLv.1は女っぽい fact6: そのぴにょぴのLv.32は冷め易いしかつ蹴散らす
fact6 -> int1: そのぴにょぴのLv.32は冷め易い; int1 & fact5 -> int2: そのぷちょぷのLv.1は女っぽい; int2 & fact2 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
「そのぷちょぷのLv.1は損傷するし女っぽい」ということは間違っている
fact7 -> int3: 仮にそのぷちょぷのLv.1は冷め易くないなら「「それは損傷するし女っぽい」ということは事実である」ということは成り立たない;
$facts$ = fact1: もし仮に「なんらかのモンスターは冷め易くない」ということは確かであるとすれば「それは損傷するししかも女っぽい」ということは事実と異なる fact2: そのぷちょぷのLv.1は損傷する fact3: そのぴにょぴのLv.32は蹴散らす fact4: もしそのぷちょぷのLv.1が冷め易いならそのぴにょぴのLv.32は女っぽい fact5: もしもそのぴにょぴのLv.32が冷め易いとすればそのぷちょぷのLv.1は女っぽい fact6: そのぴにょぴのLv.32は冷め易いしかつ蹴散らす ; $hypothesis$ = 「そのぷちょぷのLv.1は損傷するし女っぽい」ということは間違っている ; $proof$ = 
fact6 -> int1: そのぴにょぴのLv.32は冷め易い; int1 & fact5 -> int2: そのぷちょぷのLv.1は女っぽい; int2 & fact2 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __DISPROVED__