「このぷくぷえLv.93は太いかそれは突き掛かるかあるいはどちらもだ」ということは間違っている
fact1: あるモンスターは従属しないとしたら「それは太いかそれは突き掛かる」ということは偽だ fact2: このぷくぷえLv.93は太い fact3: あのみにゅみにょLv.86は田舎臭いかもしくは太いかあるいは両方ともである fact4: もしなにがしかのモンスターが従属しないとしたらそれは突き掛かるしそれは太い fact5: 仮にこのぷくぷえLv.93が従属しないけれど滑り難いとすればこのぽえぽにょLv.58は従属しない
fact2 -> int1: このぷくぷえLv.93は太い; int1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 -> hypothesis;
「このぽえぽにょLv.58は突き掛かる」ということは事実である
fact7 -> int2: もしこのぽえぽにょLv.58が従属するということはないならばこのぽえぽにょLv.58は突き掛かるしそれは太い;
$facts$ = fact1: あるモンスターは従属しないとしたら「それは太いかそれは突き掛かる」ということは偽だ fact2: このぷくぷえLv.93は太い fact3: あのみにゅみにょLv.86は田舎臭いかもしくは太いかあるいは両方ともである fact4: もしなにがしかのモンスターが従属しないとしたらそれは突き掛かるしそれは太い fact5: 仮にこのぷくぷえLv.93が従属しないけれど滑り難いとすればこのぽえぽにょLv.58は従属しない ; $hypothesis$ = 「このぷくぷえLv.93は太いかそれは突き掛かるかあるいはどちらもだ」ということは間違っている ; $proof$ = 
fact2 -> int1: このぷくぷえLv.93は太い; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 -> hypothesis; __DISPROVED__