そのもにゅもよLv.34は剥かない
fact1: もしこのもちょもいLv.49は鑑賞し易いならば「まあるい」ということは確かだ fact2: このもちょもいLv.49は鑑賞し易い fact3: もしも「そのもにゅもよLv.34は通謀しないがしかし弾圧する」ということは嘘だとすればそのもにゅもよLv.34は踏み固めない fact4: 仮にこのもちょもいLv.49がまあるいとするとそのもにゅもよLv.34は剥く fact5: 鑑賞し易いモンスターは剥かない fact6: もしもそのもにゅもよLv.34が踏み固めるということはないとしたら鑑賞し易くてかつまあるい
fact1 & fact2 -> int1: このもちょもいLv.49はまあるい; int1 & fact4 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
そのもにゅもよLv.34は剥かない
fact9 -> int2: もしもそのもにゅもよLv.34が鑑賞し易いとすれば剥かない;
$facts$ = fact1: もしこのもちょもいLv.49は鑑賞し易いならば「まあるい」ということは確かだ fact2: このもちょもいLv.49は鑑賞し易い fact3: もしも「そのもにゅもよLv.34は通謀しないがしかし弾圧する」ということは嘘だとすればそのもにゅもよLv.34は踏み固めない fact4: 仮にこのもちょもいLv.49がまあるいとするとそのもにゅもよLv.34は剥く fact5: 鑑賞し易いモンスターは剥かない fact6: もしもそのもにゅもよLv.34が踏み固めるということはないとしたら鑑賞し易くてかつまあるい ; $hypothesis$ = そのもにゅもよLv.34は剥かない ; $proof$ = 
fact1 & fact2 -> int1: このもちょもいLv.49はまあるい; int1 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}{a}; int1 & fact4 -> hypothesis; __DISPROVED__