そのぴちゃぴえLv.34は吸い出す
fact1: そのぷねぷにょLv.29は有り難し fact2: このぽゆぽよLv.10が入庫するとすればあのぽにゅぽえLv.25は塗り込む fact3: もしそのぷねぷにょLv.29が有り難しとするとこのぽゆぽよLv.10は入庫する fact4: もしも「なにがしかのモンスターは吸い出すし有り難し」ということは成り立つということはないなら「それは吸い出さない」ということは確かである fact5: もしもなんらかのモンスターは入庫するということはないとすれば「吸い出すし有り難し」ということは成り立たない fact6: もしあのぽにゅぽえLv.25が塗り込むとしたらそのぴちゃぴえLv.34は吸い出す
fact3 & fact1 -> int1: 「このぽゆぽよLv.10は入庫しない」ということは間違っている; int1 & fact2 -> int2: あのぽにゅぽえLv.25は塗り込む; int2 & fact6 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact6 -> hypothesis;
そのぴちゃぴえLv.34は吸い出さない
fact7 -> int3: もしも「そのぴちゃぴえLv.34は吸い出すしおまけに有り難し」ということは嘘ならそれは吸い出さない; fact8 -> int4: そのぴちゃぴえLv.34は入庫するということはないとすれば「そのぴちゃぴえLv.34は吸い出すしかつ有り難し」ということは成り立たない;
$facts$ = fact1: そのぷねぷにょLv.29は有り難し fact2: このぽゆぽよLv.10が入庫するとすればあのぽにゅぽえLv.25は塗り込む fact3: もしそのぷねぷにょLv.29が有り難しとするとこのぽゆぽよLv.10は入庫する fact4: もしも「なにがしかのモンスターは吸い出すし有り難し」ということは成り立つということはないなら「それは吸い出さない」ということは確かである fact5: もしもなんらかのモンスターは入庫するということはないとすれば「吸い出すし有り難し」ということは成り立たない fact6: もしあのぽにゅぽえLv.25が塗り込むとしたらそのぴちゃぴえLv.34は吸い出す ; $hypothesis$ = そのぴちゃぴえLv.34は吸い出す ; $proof$ = 
fact3 & fact1 -> int1: 「このぽゆぽよLv.10は入庫しない」ということは間違っている; int1 & fact2 -> int2: あのぽにゅぽえLv.25は塗り込む; int2 & fact6 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact6 -> hypothesis; __PROVED__