以下のように仮定する。あのぴにょぴゆLv.30は経口感染する
fact1: そのぽちゃぽわLv.81は経口感染するということはない fact2: もし仮に「このぷちゃぷにょLv.73は理解し辛い」ということは成り立つとすればこのぷちゃぷにょLv.73は狭い fact3: 理解し辛いモンスターは経口感染する fact4: そのぴにぴのLv.9は理解し辛い fact5: もしもあのぴにょぴゆLv.30が経口感染するとすればこのぷちゃぷにょLv.73は理解し辛い fact6: もし仮にあのぴにょぴゆLv.30が理解し辛いとするとこのぷちゃぷにょLv.73は経口感染する fact7: このぷちゃぷにょLv.73は狭いということはない fact8: 脂っぽくないモンスターは狭いしかつ理解し辛い
void -> assump1: 以下のように仮定する。あのぴにょぴゆLv.30は経口感染する; fact5 & assump1 -> int1: このぷちゃぷにょLv.73は理解し辛い; int1 & fact2 -> int2: このぷちゃぷにょLv.73は狭い; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。あのぴにょぴゆLv.30は経口感染する
fact10 -> int4: あのぴにょぴゆLv.30が理解し辛いならばあのぴにょぴゆLv.30は経口感染する; fact9 -> int5: あのぴにょぴゆLv.30が脂っぽくないとするとあのぴにょぴゆLv.30は狭いししかもそれは理解し辛い;
$facts$ = fact1: そのぽちゃぽわLv.81は経口感染するということはない fact2: もし仮に「このぷちゃぷにょLv.73は理解し辛い」ということは成り立つとすればこのぷちゃぷにょLv.73は狭い fact3: 理解し辛いモンスターは経口感染する fact4: そのぴにぴのLv.9は理解し辛い fact5: もしもあのぴにょぴゆLv.30が経口感染するとすればこのぷちゃぷにょLv.73は理解し辛い fact6: もし仮にあのぴにょぴゆLv.30が理解し辛いとするとこのぷちゃぷにょLv.73は経口感染する fact7: このぷちゃぷにょLv.73は狭いということはない fact8: 脂っぽくないモンスターは狭いしかつ理解し辛い ; $hypothesis$ = 以下のように仮定する。あのぴにょぴゆLv.30は経口感染する ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴにょぴゆLv.30は経口感染する; fact5 & assump1 -> int1: このぷちゃぷにょLv.73は理解し辛い; int1 & fact2 -> int2: このぷちゃぷにょLv.73は狭い; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__