「このまちゃまちょLv.99が継続し難いとしたらこのみわみよLv.5は苦しむ」ということは成り立たない
fact1: あのもちゃもわLv.71は面白いとすれば「このみわみよLv.5は苦しむ」ということは本当である fact2: このまちゃまちょLv.99が継続し難いとするとあのもちゃもわLv.71は面白い
void -> assump1: 以下のように仮定する。このまちゃまちょLv.99は継続し難い; fact2 & assump1 -> int1: あのもちゃもわLv.71は面白い; int1 & fact1 -> int2: このみわみよLv.5は苦しむ; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: あのもちゃもわLv.71は面白いとすれば「このみわみよLv.5は苦しむ」ということは本当である fact2: このまちゃまちょLv.99が継続し難いとするとあのもちゃもわLv.71は面白い ; $hypothesis$ = 「このまちゃまちょLv.99が継続し難いとしたらこのみわみよLv.5は苦しむ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。このまちゃまちょLv.99は継続し難い; fact2 & assump1 -> int1: あのもちゃもわLv.71は面白い; int1 & fact1 -> int2: このみわみよLv.5は苦しむ; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; [assump1] & int2 -> hypothesis; __DISPROVED__