以下のように仮定する。このぷいぷいLv.99は若い
fact1: もしも「このぷいぷいLv.99は若いか分解され難いかあるいは両方である」ということは成り立つならこのぷいぷいLv.99は無料配布するということはない fact2: そのものもいLv.6は無料配布しない fact3: このぷいぷいLv.99は木らしい fact4: もしもあのぽにぽいLv.81が分解され難いならばこのぷいぷいLv.99は若い fact5: このぷいぷいLv.99は無料配布する
void -> assump1: 以下のように仮定する。このぷいぷいLv.99は若い; assump1 -> int1: このぷいぷいLv.99は若いかあるいはそれは分解され難いか両方ともである; int1 & fact1 -> int2: このぷいぷいLv.99は無料配布しない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このぷいぷいLv.99は若い
$facts$ = fact1: もしも「このぷいぷいLv.99は若いか分解され難いかあるいは両方である」ということは成り立つならこのぷいぷいLv.99は無料配布するということはない fact2: そのものもいLv.6は無料配布しない fact3: このぷいぷいLv.99は木らしい fact4: もしもあのぽにぽいLv.81が分解され難いならばこのぷいぷいLv.99は若い fact5: このぷいぷいLv.99は無料配布する ; $hypothesis$ = 以下のように仮定する。このぷいぷいLv.99は若い ; $proof$ = 
void -> assump1: 以下のように仮定する。このぷいぷいLv.99は若い; assump1 -> int1: このぷいぷいLv.99は若いかあるいはそれは分解され難いか両方ともである; int1 & fact1 -> int2: このぷいぷいLv.99は無料配布しない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__