「このぴいぴわLv.40が平ったいとするとそのもやもなLv.97は弛み無い」ということは成り立たない
fact1: あのまえまいLv.68は弛み無い fact2: もしもこのぴいぴわLv.40は平ったいなら「あのまえまいLv.68はめでたい」ということは本当だ fact3: そのもやもなLv.97は平ったい
void -> assump1: 以下のように仮定する。「このぴいぴわLv.40は平ったい」ということは成り立つ; fact2 & assump1 -> int1: あのまえまいLv.68はめでたい;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b};
$facts$ = fact1: あのまえまいLv.68は弛み無い fact2: もしもこのぴいぴわLv.40は平ったいなら「あのまえまいLv.68はめでたい」ということは本当だ fact3: そのもやもなLv.97は平ったい ; $hypothesis$ = 「このぴいぴわLv.40が平ったいとするとそのもやもなLv.97は弛み無い」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__