「このぽにぽにゅLv.98は痛くて更にそれは卑しい」ということは成り立つということはない
fact1: このぽにぽにゅLv.98は腑甲斐無いしかつ若し fact2: もし仮にこのぽにぽにゅLv.98が若しとすればこのぽにぽにゅLv.98は痛い fact3: このぽにぽにゅLv.98は卑しい fact4: このぽにぽにゅLv.98は腑甲斐無い
fact1 -> int1: このぽにぽにゅLv.98は若し; int1 & fact2 -> int2: このぽにぽにゅLv.98は痛い; int2 & fact3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: このぽにぽにゅLv.98は腑甲斐無いしかつ若し fact2: もし仮にこのぽにぽにゅLv.98が若しとすればこのぽにぽにゅLv.98は痛い fact3: このぽにぽにゅLv.98は卑しい fact4: このぽにぽにゅLv.98は腑甲斐無い ; $hypothesis$ = 「このぽにぽにゅLv.98は痛くて更にそれは卑しい」ということは成り立つということはない ; $proof$ = 
fact1 -> int1: このぽにぽにゅLv.98は若し; int1 & fact2 -> int2: このぽにぽにゅLv.98は痛い; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __DISPROVED__