「あのぽわぽにょLv.37は移動し易くない」ということは成り立つ
fact1: 仮にあのぽわぽにょLv.37は御悪いなら「あのぽわぽにょLv.37は移動し易い」ということは本当である fact2: 「そのまくまにゅLv.77は尊いかもしくはそれは進化し易いかあるいは両方である」ということは成り立つ fact3: もしもそのまくまにゅLv.77が進化し易いとしたらあのぽわぽにょLv.37は御悪い fact4: もし仮に「そのまくまにゅLv.77は尊い」ということは成り立てばあのぽわぽにょLv.37は御悪い
fact2 & fact4 & fact3 -> int1: 「あのぽわぽにょLv.37は御悪い」ということは真実である; int1 & fact1 -> hypothesis;
fact2 & fact4 & fact3 -> int1: {C}{c}; int1 & fact1 -> hypothesis;
$facts$ = fact1: 仮にあのぽわぽにょLv.37は御悪いなら「あのぽわぽにょLv.37は移動し易い」ということは本当である fact2: 「そのまくまにゅLv.77は尊いかもしくはそれは進化し易いかあるいは両方である」ということは成り立つ fact3: もしもそのまくまにゅLv.77が進化し易いとしたらあのぽわぽにょLv.37は御悪い fact4: もし仮に「そのまくまにゅLv.77は尊い」ということは成り立てばあのぽわぽにょLv.37は御悪い ; $hypothesis$ = 「あのぽわぽにょLv.37は移動し易くない」ということは成り立つ ; $proof$ = 
fact2 & fact4 & fact3 -> int1: 「あのぽわぽにょLv.37は御悪い」ということは真実である; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact4 & fact3 -> int1: {C}{c}; int1 & fact1 -> hypothesis; __DISPROVED__