「もし仮にそのまにょまわLv.40は掴み難いとすれば「このまえまえLv.1は骨っぽい」ということは本当である」ということは間違っている
fact1: そのまにょまわLv.40が掴み難いとすればこのぽゆぽのLv.47は引き出し易い fact2: もしそのまにょまわLv.40は骨っぽいとしたら「このまえまえLv.1は掴み難い」ということは成り立つ fact3: 仮にこのぽゆぽのLv.47が引き出し易いとするとこのまえまえLv.1は骨っぽい
void -> assump1: 以下のように仮定する。そのまにょまわLv.40は掴み難い; fact1 & assump1 -> int1: 「このぽゆぽのLv.47は引き出し易い」ということは成り立つ; int1 & fact3 -> int2: このまえまえLv.1は骨っぽい; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: そのまにょまわLv.40が掴み難いとすればこのぽゆぽのLv.47は引き出し易い fact2: もしそのまにょまわLv.40は骨っぽいとしたら「このまえまえLv.1は掴み難い」ということは成り立つ fact3: 仮にこのぽゆぽのLv.47が引き出し易いとするとこのまえまえLv.1は骨っぽい ; $hypothesis$ = 「もし仮にそのまにょまわLv.40は掴み難いとすれば「このまえまえLv.1は骨っぽい」ということは本当である」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。そのまにょまわLv.40は掴み難い; fact1 & assump1 -> int1: 「このぽゆぽのLv.47は引き出し易い」ということは成り立つ; int1 & fact3 -> int2: このまえまえLv.1は骨っぽい; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; [assump1] & int2 -> hypothesis; __DISPROVED__