「このまゆまねLv.19は程無くないし加えて取り合わない」ということは成り立たない
fact1: このぷえぷちゅLv.13は程無くない fact2: そのぷやぷちゅLv.2は小汚くて加えて押し被せる fact3: 仮にそのぷやぷちゅLv.2が小汚いならこのぷえぷちゅLv.13は辛い fact4: 辛くないモンスターは押し被せるし加えて小汚い fact5: このぷえぷちゅLv.13は熱っぽい fact6: もしもこのぷえぷちゅLv.13が辛くて更にそれが熱っぽいとするとこのまゆまねLv.19は程無いということはない fact7: このもちゅもえLv.71は辛いということはない fact8: そのぷやぷちゅLv.2は押し被せる fact9: 仮にそのぷやぷちゅLv.2は小汚くないとしたら「このまゆまねLv.19は程無いということはないしさらに取り合わない」ということは事実と異なる fact10: このまゆまねLv.19は取り合わない
fact2 -> int1: そのぷやぷちゅLv.2は小汚い; int1 & fact3 -> int2: このぷえぷちゅLv.13は辛い; int2 & fact5 -> int3: このぷえぷちゅLv.13は辛くて熱っぽい; int3 & fact6 -> int4: このまゆまねLv.19は程無いということはない; int4 & fact10 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact5 -> int3: ({C}{b} & {D}{b}); int3 & fact6 -> int4: ¬{E}{c}; int4 & fact10 -> hypothesis;
このぷえぷちゅLv.13は押し被せる
fact11 -> int5: もしもこのぷえぷちゅLv.13が辛いということはないとしたらこのぷえぷちゅLv.13は押し被せるしその上小汚い;
$facts$ = fact1: このぷえぷちゅLv.13は程無くない fact2: そのぷやぷちゅLv.2は小汚くて加えて押し被せる fact3: 仮にそのぷやぷちゅLv.2が小汚いならこのぷえぷちゅLv.13は辛い fact4: 辛くないモンスターは押し被せるし加えて小汚い fact5: このぷえぷちゅLv.13は熱っぽい fact6: もしもこのぷえぷちゅLv.13が辛くて更にそれが熱っぽいとするとこのまゆまねLv.19は程無いということはない fact7: このもちゅもえLv.71は辛いということはない fact8: そのぷやぷちゅLv.2は押し被せる fact9: 仮にそのぷやぷちゅLv.2は小汚くないとしたら「このまゆまねLv.19は程無いということはないしさらに取り合わない」ということは事実と異なる fact10: このまゆまねLv.19は取り合わない ; $hypothesis$ = 「このまゆまねLv.19は程無くないし加えて取り合わない」ということは成り立たない ; $proof$ = 
fact2 -> int1: そのぷやぷちゅLv.2は小汚い; int1 & fact3 -> int2: このぷえぷちゅLv.13は辛い; int2 & fact5 -> int3: このぷえぷちゅLv.13は辛くて熱っぽい; int3 & fact6 -> int4: このまゆまねLv.19は程無いということはない; int4 & fact10 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact5 -> int3: ({C}{b} & {D}{b}); int3 & fact6 -> int4: ¬{E}{c}; int4 & fact10 -> hypothesis; __DISPROVED__