「もし仮にこのぽいぽよLv.40が堆いとするとそのぷゆぷくLv.71は及び難い」ということは成り立たない
fact1: もし仮に「そのぷゆぷくLv.71は御止め為さる」ということは確かであるとしたらそのぷゆぷくLv.71は及び難い fact2: このぽいぽよLv.40が堆いとしたらそのぷゆぷくLv.71は御止め為さる
void -> assump1: 以下のように仮定する。このぽいぽよLv.40は堆い; fact2 & assump1 -> int1: そのぷゆぷくLv.71は御止め為さる; int1 & fact1 -> int2: そのぷゆぷくLv.71は及び難い; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もし仮に「そのぷゆぷくLv.71は御止め為さる」ということは確かであるとしたらそのぷゆぷくLv.71は及び難い fact2: このぽいぽよLv.40が堆いとしたらそのぷゆぷくLv.71は御止め為さる ; $hypothesis$ = 「もし仮にこのぽいぽよLv.40が堆いとするとそのぷゆぷくLv.71は及び難い」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽいぽよLv.40は堆い; fact2 & assump1 -> int1: そのぷゆぷくLv.71は御止め為さる; int1 & fact1 -> int2: そのぷゆぷくLv.71は及び難い; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __DISPROVED__