このぴちょぴえLv.3は可愛い
fact1: もしあのもわもえLv.34は太り難いとしたら「あのぽわぽにゅLv.69は照応する一方で可愛くない」ということは間違っている fact2: もしとあるモンスターが受け入れ易くないとしたらそれは太り難くて難破する fact3: 「あのぽわぽにゅLv.69は太り難い」ということは本当である fact4: もし仮にこのぴちょぴえLv.3が照応するしさらにそれが難破するとするとそれは可愛くない fact5: もしこのぴちょぴえLv.3が難破するしさらにそれが太り難いならそれは照応しない fact6: このぴちょぴえLv.3は難破する fact7: もし「あのぽわぽにゅLv.69は太り難い」ということは正しいならこのぴちょぴえLv.3は照応する
fact7 & fact3 -> int1: このぴちょぴえLv.3は照応する; int1 & fact6 -> int2: このぴちょぴえLv.3は照応するしおまけに難破する; int2 & fact4 -> hypothesis;
fact7 & fact3 -> int1: {B}{b}; int1 & fact6 -> int2: ({B}{b} & {C}{b}); int2 & fact4 -> hypothesis;
このぴちょぴえLv.3は可愛い
fact8 -> int3: もしもあのもわもえLv.34が受け入れ易くないならばそれは太り難いししかも難破する;
$facts$ = fact1: もしあのもわもえLv.34は太り難いとしたら「あのぽわぽにゅLv.69は照応する一方で可愛くない」ということは間違っている fact2: もしとあるモンスターが受け入れ易くないとしたらそれは太り難くて難破する fact3: 「あのぽわぽにゅLv.69は太り難い」ということは本当である fact4: もし仮にこのぴちょぴえLv.3が照応するしさらにそれが難破するとするとそれは可愛くない fact5: もしこのぴちょぴえLv.3が難破するしさらにそれが太り難いならそれは照応しない fact6: このぴちょぴえLv.3は難破する fact7: もし「あのぽわぽにゅLv.69は太り難い」ということは正しいならこのぴちょぴえLv.3は照応する ; $hypothesis$ = このぴちょぴえLv.3は可愛い ; $proof$ = 
fact7 & fact3 -> int1: このぴちょぴえLv.3は照応する; int1 & fact6 -> int2: このぴちょぴえLv.3は照応するしおまけに難破する; int2 & fact4 -> hypothesis; __DISPROVED__
fact7 & fact3 -> int1: {B}{b}; int1 & fact6 -> int2: ({B}{b} & {C}{b}); int2 & fact4 -> hypothesis; __DISPROVED__