あのぽいぽにゅLv.53は地下深い
fact1: もし仮に「このもにゅものLv.27は地下深い」ということは正しいとすればあのぽいぽにゅLv.53は愛し fact2: 仮に「このもにゅものLv.27は憎らしい」ということは正しいならあのぽいぽにゅLv.53は相応しい fact3: もしもあのぽいぽにゅLv.53が幸いするとすれば地下深くない fact4: もし仮にこのもにゅものLv.27が愛しとすればあのぽいぽにゅLv.53は相応しい fact5: あのぽいぽにゅLv.53は愛しかまたはそれは地下深いかまたはどちらもである fact6: このもにゅものLv.27は愛しかあるいはそれは憎らしい fact7: 仮にこのもにゅものLv.27が愛しとしたらこのもにゅものLv.27は相応しい fact8: あのぽいぽにゅLv.53が憎らしいとしたらこのもにゅものLv.27は相応しい fact9: もしもあのぽいぽにゅLv.53が相応しいとしたらあのぽいぽにゅLv.53は幸いする fact10: あのぽいぽにゅLv.53は愛し
fact6 & fact4 & fact2 -> int1: あのぽいぽにゅLv.53は相応しい; int1 & fact9 -> int2: あのぽいぽにゅLv.53は幸いする; int2 & fact3 -> hypothesis;
fact6 & fact4 & fact2 -> int1: {C}{c}; int1 & fact9 -> int2: {D}{c}; int2 & fact3 -> hypothesis;
$facts$ = fact1: もし仮に「このもにゅものLv.27は地下深い」ということは正しいとすればあのぽいぽにゅLv.53は愛し fact2: 仮に「このもにゅものLv.27は憎らしい」ということは正しいならあのぽいぽにゅLv.53は相応しい fact3: もしもあのぽいぽにゅLv.53が幸いするとすれば地下深くない fact4: もし仮にこのもにゅものLv.27が愛しとすればあのぽいぽにゅLv.53は相応しい fact5: あのぽいぽにゅLv.53は愛しかまたはそれは地下深いかまたはどちらもである fact6: このもにゅものLv.27は愛しかあるいはそれは憎らしい fact7: 仮にこのもにゅものLv.27が愛しとしたらこのもにゅものLv.27は相応しい fact8: あのぽいぽにゅLv.53が憎らしいとしたらこのもにゅものLv.27は相応しい fact9: もしもあのぽいぽにゅLv.53が相応しいとしたらあのぽいぽにゅLv.53は幸いする fact10: あのぽいぽにゅLv.53は愛し ; $hypothesis$ = あのぽいぽにゅLv.53は地下深い ; $proof$ = 
fact6 & fact4 & fact2 -> int1: あのぽいぽにゅLv.53は相応しい; int1 & fact9 -> int2: あのぽいぽにゅLv.53は幸いする; int2 & fact3 -> hypothesis; __DISPROVED__
fact6 & fact4 & fact2 -> int1: {C}{c}; int1 & fact9 -> int2: {D}{c}; int2 & fact3 -> hypothesis; __DISPROVED__