「このもねもよLv.61は軟らかくてかつ欲深い」ということは成り立たない
fact1: このぽちゅぽゆLv.96は欲深い fact2: このもねもよLv.61は欲深い fact3: 仮にこのぽちゅぽゆLv.96が戻り易くないとしたらこのもねもよLv.61は立て難いしそれにそれは軟らかい fact4: このもねもよLv.61は戻り易い fact5: このぽちゅぽゆLv.96は戻り易くない fact6: このもねもよLv.61はしても良い
fact3 & fact5 -> int1: このもねもよLv.61は立て難くてそれは軟らかい; int1 -> int2: このもねもよLv.61は軟らかい; int2 & fact2 -> hypothesis;
fact3 & fact5 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AB}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: このぽちゅぽゆLv.96は欲深い fact2: このもねもよLv.61は欲深い fact3: 仮にこのぽちゅぽゆLv.96が戻り易くないとしたらこのもねもよLv.61は立て難いしそれにそれは軟らかい fact4: このもねもよLv.61は戻り易い fact5: このぽちゅぽゆLv.96は戻り易くない fact6: このもねもよLv.61はしても良い ; $hypothesis$ = 「このもねもよLv.61は軟らかくてかつ欲深い」ということは成り立たない ; $proof$ = 
fact3 & fact5 -> int1: このもねもよLv.61は立て難くてそれは軟らかい; int1 -> int2: このもねもよLv.61は軟らかい; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact5 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AB}{b}; int2 & fact2 -> hypothesis; __DISPROVED__