以下のように仮定する。そのぴゆぴねLv.94は泣き騒ぐ
fact1: もしとあるモンスターは勇ましいとすれば「すばしこいけれど御悪いということはない」ということは成り立たない fact2: もしそのぴゆぴねLv.94が御悪いし更に泣き騒ぐならあのぷちょぷえLv.42はすばしこくない fact3: 「あのぷちょぷえLv.42はすばしこい」ということは事実である fact4: 勇ましくないモンスターはすばしこくて御悪い fact5: もし仮にあのぷちょぷえLv.42が泣き騒げばそのぴゆぴねLv.94は泣き騒ぐ fact6: そのぴゆぴねLv.94は御悪い
void -> assump1: 以下のように仮定する。そのぴゆぴねLv.94は泣き騒ぐ; fact6 & assump1 -> int1: そのぴゆぴねLv.94は御悪くておまけに泣き騒ぐ; int1 & fact2 -> int2: あのぷちょぷえLv.42はすばしこくない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; fact6 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。そのぴゆぴねLv.94は泣き騒ぐ
fact8 -> int4: もし仮にあのぷちょぷえLv.42が勇ましいということはないならそれはすばしこいしそれは御悪い;
$facts$ = fact1: もしとあるモンスターは勇ましいとすれば「すばしこいけれど御悪いということはない」ということは成り立たない fact2: もしそのぴゆぴねLv.94が御悪いし更に泣き騒ぐならあのぷちょぷえLv.42はすばしこくない fact3: 「あのぷちょぷえLv.42はすばしこい」ということは事実である fact4: 勇ましくないモンスターはすばしこくて御悪い fact5: もし仮にあのぷちょぷえLv.42が泣き騒げばそのぴゆぴねLv.94は泣き騒ぐ fact6: そのぴゆぴねLv.94は御悪い ; $hypothesis$ = 以下のように仮定する。そのぴゆぴねLv.94は泣き騒ぐ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぴゆぴねLv.94は泣き騒ぐ; fact6 & assump1 -> int1: そのぴゆぴねLv.94は御悪くておまけに泣き騒ぐ; int1 & fact2 -> int2: あのぷちょぷえLv.42はすばしこくない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}{a}; fact6 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__