以下のように仮定する。このぽねぽなLv.35は面映ゆい
fact1: もしもこのぽねぽなLv.35が面映ゆいとするとそれは示し易い fact2: もしもそのぽちょぽいLv.17が示し易いとすればこのぽねぽなLv.35は面映ゆい fact3: もしこのぽねぽなLv.35が示し易いならばそのぽちょぽいLv.17は味気無い fact4: そのぽちょぽいLv.17は味気無くない fact5: もしこのぽねぽなLv.35は御安いとすれば「面映ゆい」ということは成り立つ
void -> assump1: 以下のように仮定する。このぽねぽなLv.35は面映ゆい; fact1 & assump1 -> int1: このぽねぽなLv.35は示し易い; int1 & fact3 -> int2: そのぽちょぽいLv.17は味気無い; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしもこのぽねぽなLv.35が面映ゆいとするとそれは示し易い fact2: もしもそのぽちょぽいLv.17が示し易いとすればこのぽねぽなLv.35は面映ゆい fact3: もしこのぽねぽなLv.35が示し易いならばそのぽちょぽいLv.17は味気無い fact4: そのぽちょぽいLv.17は味気無くない fact5: もしこのぽねぽなLv.35は御安いとすれば「面映ゆい」ということは成り立つ ; $hypothesis$ = 以下のように仮定する。このぽねぽなLv.35は面映ゆい ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽねぽなLv.35は面映ゆい; fact1 & assump1 -> int1: このぽねぽなLv.35は示し易い; int1 & fact3 -> int2: そのぽちょぽいLv.17は味気無い; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__