このぽちゅぽゆLv.81は取り易い
fact1: あのぽよぽちゃLv.48は誤診する fact2: 仮に「何らかのモンスターはしつこくないしまた絡まらない」ということは成り立たないとするとこそこそしない fact3: 仮に「あるモンスターは誤診しないしそれに取り易くない」ということは誤っているとしたら誤診する fact4: もし何らかのモンスターは意思決定するということはないとすれば「しつこいということはなくて絡まらない」ということは成り立たない fact5: あのぽよぽちゃLv.48はこそこそする fact6: 仮にあのぽよぽちゃLv.48が誤診するしこそこそすればこのぽちゅぽゆLv.81は取り易くない fact7: もしもあのぽよぽちゃLv.48がこそこそしないとしたらこのぽちゅぽゆLv.81は取り易いしそれは誤診する
fact1 & fact5 -> int1: あのぽよぽちゃLv.48は誤診するししかもそれはこそこそする; int1 & fact6 -> hypothesis;
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> hypothesis;
このみゆみよLv.74は誤診する
fact8 -> int2: もし「このみゆみよLv.74は誤診しなくて加えて取り易くない」ということは間違いだとするとこのみゆみよLv.74は誤診する;
$facts$ = fact1: あのぽよぽちゃLv.48は誤診する fact2: 仮に「何らかのモンスターはしつこくないしまた絡まらない」ということは成り立たないとするとこそこそしない fact3: 仮に「あるモンスターは誤診しないしそれに取り易くない」ということは誤っているとしたら誤診する fact4: もし何らかのモンスターは意思決定するということはないとすれば「しつこいということはなくて絡まらない」ということは成り立たない fact5: あのぽよぽちゃLv.48はこそこそする fact6: 仮にあのぽよぽちゃLv.48が誤診するしこそこそすればこのぽちゅぽゆLv.81は取り易くない fact7: もしもあのぽよぽちゃLv.48がこそこそしないとしたらこのぽちゅぽゆLv.81は取り易いしそれは誤診する ; $hypothesis$ = このぽちゅぽゆLv.81は取り易い ; $proof$ = 
fact1 & fact5 -> int1: あのぽよぽちゃLv.48は誤診するししかもそれはこそこそする; int1 & fact6 -> hypothesis; __DISPROVED__
fact1 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> hypothesis; __DISPROVED__