「仮にあのぴにゅぴわLv.4が忝いとすればあのぴにゅぴわLv.4は女の子らしい」ということは成り立たない
fact1: 仮にあのぴにゅぴわLv.4が忝いならばあのぴにゅぴわLv.4はこっ酷い fact2: もしあのぴにゅぴわLv.4が黒くないとすればそれは気忙しくない一方でこっ酷い fact3: あるモンスターは手際良いし焼き始める fact4: あのまよまのLv.71はこっ酷い fact5: なんらかのモンスターが忝くないとしたらそのぴちゃぴちょLv.58は女の子らしいし加えて忝い fact6: 気忙しくないかもしくは忝くないモンスターは忝くない fact7: 仮にあのぴにゅぴわLv.4がこっ酷いとするとあのぴにゅぴわLv.4は女の子らしい
void -> assump1: 以下のように仮定する。あのぴにゅぴわLv.4は忝い; fact1 & assump1 -> int1: あのぴにゅぴわLv.4はこっ酷い; int1 & fact7 -> int2: あのぴにゅぴわLv.4は女の子らしい; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; [assump1] & int2 -> hypothesis;
そのぴちゃぴちょLv.58は女の子らしい
fact10 -> int3: もしあのぴにゅぴわLv.4が気忙しくないかまたはそれが忝くないとすればそれは忝いということはない;
$facts$ = fact1: 仮にあのぴにゅぴわLv.4が忝いならばあのぴにゅぴわLv.4はこっ酷い fact2: もしあのぴにゅぴわLv.4が黒くないとすればそれは気忙しくない一方でこっ酷い fact3: あるモンスターは手際良いし焼き始める fact4: あのまよまのLv.71はこっ酷い fact5: なんらかのモンスターが忝くないとしたらそのぴちゃぴちょLv.58は女の子らしいし加えて忝い fact6: 気忙しくないかもしくは忝くないモンスターは忝くない fact7: 仮にあのぴにゅぴわLv.4がこっ酷いとするとあのぴにゅぴわLv.4は女の子らしい ; $hypothesis$ = 「仮にあのぴにゅぴわLv.4が忝いとすればあのぴにゅぴわLv.4は女の子らしい」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴにゅぴわLv.4は忝い; fact1 & assump1 -> int1: あのぴにゅぴわLv.4はこっ酷い; int1 & fact7 -> int2: あのぴにゅぴわLv.4は女の子らしい; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; [assump1] & int2 -> hypothesis; __DISPROVED__