そのぴちゅぴゆLv.61は長ーくない
fact1: そのもねもにLv.72は君らしいしまた顕在化し易い fact2: 仮にこのみいみいLv.18が飛び過ぎないならばそのぴちゅぴゆLv.61は長ーい fact3: もしあのぷねぷねLv.39がうざいとしたらあのもにょもにLv.25は便秘しないがしかしうざい fact4: 仮にそのもねもにLv.72は君らしいなら「あのぷねぷねLv.39はうざい」ということは事実である fact5: 仮にあのもにょもにLv.25が便秘しないけどうざいならばこのみいみいLv.18は飛び過ぎるということはない
fact1 -> int1: そのもねもにLv.72は君らしい; int1 & fact4 -> int2: あのぷねぷねLv.39はうざい; int2 & fact3 -> int3: あのもにょもにLv.25は便秘しないがしかしそれはうざい; int3 & fact5 -> int4: このみいみいLv.18は飛び過ぎない; int4 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> int3: (¬{E}{c} & {C}{c}); int3 & fact5 -> int4: ¬{D}{d}; int4 & fact2 -> hypothesis;
$facts$ = fact1: そのもねもにLv.72は君らしいしまた顕在化し易い fact2: 仮にこのみいみいLv.18が飛び過ぎないならばそのぴちゅぴゆLv.61は長ーい fact3: もしあのぷねぷねLv.39がうざいとしたらあのもにょもにLv.25は便秘しないがしかしうざい fact4: 仮にそのもねもにLv.72は君らしいなら「あのぷねぷねLv.39はうざい」ということは事実である fact5: 仮にあのもにょもにLv.25が便秘しないけどうざいならばこのみいみいLv.18は飛び過ぎるということはない ; $hypothesis$ = そのぴちゅぴゆLv.61は長ーくない ; $proof$ = 
fact1 -> int1: そのもねもにLv.72は君らしい; int1 & fact4 -> int2: あのぷねぷねLv.39はうざい; int2 & fact3 -> int3: あのもにょもにLv.25は便秘しないがしかしそれはうざい; int3 & fact5 -> int4: このみいみいLv.18は飛び過ぎない; int4 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> int3: (¬{E}{c} & {C}{c}); int3 & fact5 -> int4: ¬{D}{d}; int4 & fact2 -> hypothesis; __DISPROVED__