「「止む無いしおまけに見える」モンスターはいる」ということは誤りだ
fact1: 「仮にそのぽちゅぽよLv.18が溶け込めるとすればそのぽちゅぽよLv.18は嘆かわしいかそれは見えないかもしくはどちらもだ」ということは本当である fact2: そのぽちゅぽよLv.18は嘆かわしいかあるいは見えないとすれば重い fact3: そのぽちゅぽよLv.18はドライブする fact4: なんらかのモンスターは見える fact5: このぷくぷわLv.29は見える fact6: 発生し難くないモンスターは止む無いということはない fact7: 仮にそのぽちゅぽよLv.18がドライブするならこのぷくぷわLv.29は止む無い
fact7 & fact3 -> int1: このぷくぷわLv.29は止む無い; int1 & fact5 -> int2: このぷくぷわLv.29は止む無いしそれに見える; int2 -> hypothesis;
fact7 & fact3 -> int1: {B}{b}; int1 & fact5 -> int2: ({B}{b} & {C}{b}); int2 -> hypothesis;
「堅苦しいしその上重い」モンスターはいる
fact10 -> int3: このぷくぷわLv.29は発生し難くないとすればそれは止む無くない;
$facts$ = fact1: 「仮にそのぽちゅぽよLv.18が溶け込めるとすればそのぽちゅぽよLv.18は嘆かわしいかそれは見えないかもしくはどちらもだ」ということは本当である fact2: そのぽちゅぽよLv.18は嘆かわしいかあるいは見えないとすれば重い fact3: そのぽちゅぽよLv.18はドライブする fact4: なんらかのモンスターは見える fact5: このぷくぷわLv.29は見える fact6: 発生し難くないモンスターは止む無いということはない fact7: 仮にそのぽちゅぽよLv.18がドライブするならこのぷくぷわLv.29は止む無い ; $hypothesis$ = 「「止む無いしおまけに見える」モンスターはいる」ということは誤りだ ; $proof$ = 
fact7 & fact3 -> int1: このぷくぷわLv.29は止む無い; int1 & fact5 -> int2: このぷくぷわLv.29は止む無いしそれに見える; int2 -> hypothesis; __DISPROVED__
fact7 & fact3 -> int1: {B}{b}; int1 & fact5 -> int2: ({B}{b} & {C}{b}); int2 -> hypothesis; __DISPROVED__