そのみねみやLv.68は安堵し難くない
fact1: もしもあのぷにゅぷちょLv.95が太り出す一方で立て難くないとしたらそのまいまのLv.50は太り出さない fact2: そのまいまのLv.50が太り出さないとするとそのみねみやLv.68は失神するかそれは安堵し難いかあるいはどちらもである fact3: そのみねみやLv.68は真っ白いし悪しい fact4: そのみねみやLv.68は太り出すし加えてそれは失神する fact5: 仮にそのみねみやLv.68が太り出すとすればそれは安堵し難い fact6: もしも「そのみねみやLv.68は薬臭い」ということは成り立つならそのみねみやLv.68は失神する fact7: あのぷにゅぷちょLv.95は安堵し難い
fact4 -> int1: そのみねみやLv.68は太り出す; int1 & fact5 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
そのぷのぷねLv.48は安堵し難い
$facts$ = fact1: もしもあのぷにゅぷちょLv.95が太り出す一方で立て難くないとしたらそのまいまのLv.50は太り出さない fact2: そのまいまのLv.50が太り出さないとするとそのみねみやLv.68は失神するかそれは安堵し難いかあるいはどちらもである fact3: そのみねみやLv.68は真っ白いし悪しい fact4: そのみねみやLv.68は太り出すし加えてそれは失神する fact5: 仮にそのみねみやLv.68が太り出すとすればそれは安堵し難い fact6: もしも「そのみねみやLv.68は薬臭い」ということは成り立つならそのみねみやLv.68は失神する fact7: あのぷにゅぷちょLv.95は安堵し難い ; $hypothesis$ = そのみねみやLv.68は安堵し難くない ; $proof$ = 
fact4 -> int1: そのみねみやLv.68は太り出す; int1 & fact5 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact5 -> hypothesis; __DISPROVED__