このもえもにLv.80は打ち上がり易くない
fact1: もしもそのもにゅもちゅLv.80が苦いとするとそのもにゅもちゅLv.80はこっ酷い fact2: もしもそのもにゅもちゅLv.80が忠実忠実しいとしたらこのもえもにLv.80は打ち上がり易い fact3: そのもにゅもちゅLv.80は苦い fact4: あのぽよぽくLv.68が苦くないとしたらそのもにゅもちゅLv.80は打ち上がり易いということはなくてそれにこっ酷くない fact5: 「そのもにゅもちゅLv.80はこっ酷い」ということは確かであるならばそのもにゅもちゅLv.80は忠実忠実しい fact6: とあるモンスターが打ち上がり易いということはないししかもこっ酷くないならこのもえもにLv.80は打ち上がり易くない
fact1 & fact3 -> int1: そのもにゅもちゅLv.80はこっ酷い; int1 & fact5 -> int2: そのもにゅもちゅLv.80は忠実忠実しい; int2 & fact2 -> hypothesis;
fact1 & fact3 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
このもえもにLv.80は打ち上がり易くない
$facts$ = fact1: もしもそのもにゅもちゅLv.80が苦いとするとそのもにゅもちゅLv.80はこっ酷い fact2: もしもそのもにゅもちゅLv.80が忠実忠実しいとしたらこのもえもにLv.80は打ち上がり易い fact3: そのもにゅもちゅLv.80は苦い fact4: あのぽよぽくLv.68が苦くないとしたらそのもにゅもちゅLv.80は打ち上がり易いということはなくてそれにこっ酷くない fact5: 「そのもにゅもちゅLv.80はこっ酷い」ということは確かであるならばそのもにゅもちゅLv.80は忠実忠実しい fact6: とあるモンスターが打ち上がり易いということはないししかもこっ酷くないならこのもえもにLv.80は打ち上がり易くない ; $hypothesis$ = このもえもにLv.80は打ち上がり易くない ; $proof$ = 
fact1 & fact3 -> int1: そのもにゅもちゅLv.80はこっ酷い; int1 & fact5 -> int2: そのもにゅもちゅLv.80は忠実忠実しい; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __DISPROVED__