あのぽよぽちゃLv.8は考え辛い
fact1: あのぷちょぷわLv.1は弛み無い fact2: もし仮にそのみいみゆLv.40が他愛無いし加えてそれが乗り越すとしたらそれは熱苦しくない fact3: 「もしもあのぷちょぷわLv.1が弛み無いとするとあのぽよぽちゃLv.8は他愛無い」ということは誤っていない fact4: 弛み無いモンスターは志す fact5: 仮に「あのぽよぽちゃLv.8が他愛無いしその上手広い」ということは事実であるとするとそれは考え辛くない fact6: 「あのぽよぽちゃLv.8は手広い」ということは確かだ fact7: あのぽよぽちゃLv.8は乗り越す fact8: あのぽよぽちゃLv.8は考え辛いかもしくは心深し fact9: 手広くないモンスターは弛み無いしまた他愛無い
fact3 & fact1 -> int1: あのぽよぽちゃLv.8は他愛無い; int1 & fact6 -> int2: あのぽよぽちゃLv.8は他愛無くて手広い; int2 & fact5 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 & fact6 -> int2: ({B}{b} & {C}{b}); int2 & fact5 -> hypothesis;
このみよみにゃLv.16は志すしそれは心深し
fact12 -> int3: このみよみにゃLv.16が弛み無いとしたらこのみよみにゃLv.16は志す; fact10 -> int4: もし仮にあのぷちょぷわLv.1が手広くないならばあのぷちょぷわLv.1は弛み無いししかも他愛無い;
$facts$ = fact1: あのぷちょぷわLv.1は弛み無い fact2: もし仮にそのみいみゆLv.40が他愛無いし加えてそれが乗り越すとしたらそれは熱苦しくない fact3: 「もしもあのぷちょぷわLv.1が弛み無いとするとあのぽよぽちゃLv.8は他愛無い」ということは誤っていない fact4: 弛み無いモンスターは志す fact5: 仮に「あのぽよぽちゃLv.8が他愛無いしその上手広い」ということは事実であるとするとそれは考え辛くない fact6: 「あのぽよぽちゃLv.8は手広い」ということは確かだ fact7: あのぽよぽちゃLv.8は乗り越す fact8: あのぽよぽちゃLv.8は考え辛いかもしくは心深し fact9: 手広くないモンスターは弛み無いしまた他愛無い ; $hypothesis$ = あのぽよぽちゃLv.8は考え辛い ; $proof$ = 
fact3 & fact1 -> int1: あのぽよぽちゃLv.8は他愛無い; int1 & fact6 -> int2: あのぽよぽちゃLv.8は他愛無くて手広い; int2 & fact5 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: {B}{b}; int1 & fact6 -> int2: ({B}{b} & {C}{b}); int2 & fact5 -> hypothesis; __DISPROVED__