そのぽやぽよLv.14は認め難くない
fact1: もし仮にあのもくもよLv.41が居辛いとしたらそれは調節し易い fact2: もし仮にあのぷくぷねLv.0は認め難くないなら「そのぽやぽよLv.14は勝ち易い」ということは真実である fact3: このみにょみにLv.17が情け深いならあのもくもよLv.41は居辛い fact4: あのぷくぷねLv.0が甲高くないならそのぽやぽよLv.14は認め難い fact5: あのぷくぷねLv.0は勝ち易くない fact6: もしあのもくもよLv.41が調節し易いならあのもくもよLv.41は勝ち易くないしまたそれはコントロールし易いということはない fact7: もしもあのぷくぷねLv.0が甲高いならあのぷくぷねLv.0は勝ち易い
void -> assump1: 以下のように仮定する。あのぷくぷねLv.0は甲高い; fact7 & assump1 -> int1: あのぷくぷねLv.0は勝ち易い; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのぷくぷねLv.0は甲高くない; int3 & fact4 -> hypothesis;
void -> assump1: {A}{a}; fact7 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact4 -> hypothesis;
そのぽやぽよLv.14は認め難くない
$facts$ = fact1: もし仮にあのもくもよLv.41が居辛いとしたらそれは調節し易い fact2: もし仮にあのぷくぷねLv.0は認め難くないなら「そのぽやぽよLv.14は勝ち易い」ということは真実である fact3: このみにょみにLv.17が情け深いならあのもくもよLv.41は居辛い fact4: あのぷくぷねLv.0が甲高くないならそのぽやぽよLv.14は認め難い fact5: あのぷくぷねLv.0は勝ち易くない fact6: もしあのもくもよLv.41が調節し易いならあのもくもよLv.41は勝ち易くないしまたそれはコントロールし易いということはない fact7: もしもあのぷくぷねLv.0が甲高いならあのぷくぷねLv.0は勝ち易い ; $hypothesis$ = そのぽやぽよLv.14は認め難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷくぷねLv.0は甲高い; fact7 & assump1 -> int1: あのぷくぷねLv.0は勝ち易い; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのぷくぷねLv.0は甲高くない; int3 & fact4 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact7 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact4 -> hypothesis; __DISPROVED__