以下のように仮定する。あのぽいぽのLv.91は色っぽい
fact1: あのぷいぷいLv.39は長ーいということはない fact2: もし仮にあのぷいぷいLv.39がつっかえればあのぷいぷいLv.39は長ーい fact3: もし仮にあのぽいぽのLv.91が色っぽいならばあのぷいぷいLv.39はつっかえる fact4: 清くないモンスターはつっかえるしその上長ーい fact5: あのぴくぴにLv.90は色っぽくない fact6: もしあのもちょものLv.16が色っぽいならあのぷいぷいLv.39は色っぽい fact7: もし仮にあのぷいぷいLv.39が色っぽいならあのぽいぽのLv.91は色っぽい fact8: 仮にとあるモンスターがつっかえるならそれは色っぽい
void -> assump1: 以下のように仮定する。あのぽいぽのLv.91は色っぽい; fact3 & assump1 -> int1: あのぷいぷいLv.39はつっかえる; int1 & fact2 -> int2: あのぷいぷいLv.39は長ーい; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。あのぽいぽのLv.91は色っぽい
fact12 -> int4: もしあのもちょものLv.16がつっかえるとしたらそれは色っぽい; fact9 -> int5: もしあのもちょものLv.16が清くないならばあのもちょものLv.16はつっかえるし長ーい;
$facts$ = fact1: あのぷいぷいLv.39は長ーいということはない fact2: もし仮にあのぷいぷいLv.39がつっかえればあのぷいぷいLv.39は長ーい fact3: もし仮にあのぽいぽのLv.91が色っぽいならばあのぷいぷいLv.39はつっかえる fact4: 清くないモンスターはつっかえるしその上長ーい fact5: あのぴくぴにLv.90は色っぽくない fact6: もしあのもちょものLv.16が色っぽいならあのぷいぷいLv.39は色っぽい fact7: もし仮にあのぷいぷいLv.39が色っぽいならあのぽいぽのLv.91は色っぽい fact8: 仮にとあるモンスターがつっかえるならそれは色っぽい ; $hypothesis$ = 以下のように仮定する。あのぽいぽのLv.91は色っぽい ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぽいぽのLv.91は色っぽい; fact3 & assump1 -> int1: あのぷいぷいLv.39はつっかえる; int1 & fact2 -> int2: あのぷいぷいLv.39は長ーい; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__