そのぽちょぽやLv.30は信心深くない
fact1: もし仮にそのぽちょぽやLv.30が付帯するとしたらそのぽちょぽやLv.30は信心深い fact2: そのぽちょぽやLv.30は息苦しくてそれに忝い fact3: もしもそのぽちょぽやLv.30は忝いとすれば「そのぴちゃぴえLv.25は息苦しい」ということは成り立つ fact4: 仮に「あのもわもにょLv.87は疑い深いしそれに気高し」ということは誤りであるとすると「そのぽちょぽやLv.30は眩しくない」ということは事実である fact5: もしも「「なにがしかのモンスターは信心深いしそれに嫌らしい」ということは確かだ」ということは間違っているとしたら信心深くない fact6: もし仮にそのぽちょぽやLv.30は息苦しいとしたら「そのぽちょぽやLv.30は付帯する」ということは真実だ fact7: もしとあるモンスターは眩しいということはないならば「信心深くて加えて嫌らしい」ということは間違いだ
fact2 -> int1: そのぽちょぽやLv.30は息苦しい; int1 & fact6 -> int2: そのぽちょぽやLv.30は付帯する; int2 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
そのぴちゃぴえLv.25は息苦しい
fact8 -> int3: 「そのぽちょぽやLv.30は信心深いし加えて嫌らしい」ということは間違っているとするとそれは信心深くない; fact9 -> int4: もしそのぽちょぽやLv.30は眩しくないなら「そのぽちょぽやLv.30は信心深いしさらにそれは嫌らしい」ということは誤っている;
$facts$ = fact1: もし仮にそのぽちょぽやLv.30が付帯するとしたらそのぽちょぽやLv.30は信心深い fact2: そのぽちょぽやLv.30は息苦しくてそれに忝い fact3: もしもそのぽちょぽやLv.30は忝いとすれば「そのぴちゃぴえLv.25は息苦しい」ということは成り立つ fact4: 仮に「あのもわもにょLv.87は疑い深いしそれに気高し」ということは誤りであるとすると「そのぽちょぽやLv.30は眩しくない」ということは事実である fact5: もしも「「なにがしかのモンスターは信心深いしそれに嫌らしい」ということは確かだ」ということは間違っているとしたら信心深くない fact6: もし仮にそのぽちょぽやLv.30は息苦しいとしたら「そのぽちょぽやLv.30は付帯する」ということは真実だ fact7: もしとあるモンスターは眩しいということはないならば「信心深くて加えて嫌らしい」ということは間違いだ ; $hypothesis$ = そのぽちょぽやLv.30は信心深くない ; $proof$ = 
fact2 -> int1: そのぽちょぽやLv.30は息苦しい; int1 & fact6 -> int2: そのぽちょぽやLv.30は付帯する; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __DISPROVED__