このまちゃまやLv.90は聞き易い
fact1: そのぴにょぴにゃLv.61は増資する fact2: このもちゃもにょLv.29は載せ替えない fact3: もし仮にこのもちゃもにょLv.29が灰色っぽくなくて味わい深いということはないとしたらそのぴにょぴにゃLv.61は懐こい fact4: もしもこのもちゃもにょLv.29が載せ替えないとするとこのもちゃもにょLv.29は灰色っぽくなくてそれに味わい深くない fact5: もしもそのぴにょぴにゃLv.61が懐こくてさらに増資するとするとこのまちゃまやLv.90は聞き易くない
fact2 & fact4 -> int1: このもちゃもにょLv.29は灰色っぽいということはないしそれに味わい深くない; fact3 & int1 -> int2: そのぴにょぴにゃLv.61は懐こい; int2 & fact1 -> int3: そのぴにょぴにゃLv.61は懐こいし増資する; int3 & fact5 -> hypothesis;
fact2 & fact4 -> int1: (¬{AA}{a} & ¬{AB}{a}); fact3 & int1 -> int2: {B}{b}; int2 & fact1 -> int3: ({B}{b} & {A}{b}); int3 & fact5 -> hypothesis;
$facts$ = fact1: そのぴにょぴにゃLv.61は増資する fact2: このもちゃもにょLv.29は載せ替えない fact3: もし仮にこのもちゃもにょLv.29が灰色っぽくなくて味わい深いということはないとしたらそのぴにょぴにゃLv.61は懐こい fact4: もしもこのもちゃもにょLv.29が載せ替えないとするとこのもちゃもにょLv.29は灰色っぽくなくてそれに味わい深くない fact5: もしもそのぴにょぴにゃLv.61が懐こくてさらに増資するとするとこのまちゃまやLv.90は聞き易くない ; $hypothesis$ = このまちゃまやLv.90は聞き易い ; $proof$ = 
fact2 & fact4 -> int1: このもちゃもにょLv.29は灰色っぽいということはないしそれに味わい深くない; fact3 & int1 -> int2: そのぴにょぴにゃLv.61は懐こい; int2 & fact1 -> int3: そのぴにょぴにゃLv.61は懐こいし増資する; int3 & fact5 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: (¬{AA}{a} & ¬{AB}{a}); fact3 & int1 -> int2: {B}{b}; int2 & fact1 -> int3: ({B}{b} & {A}{b}); int3 & fact5 -> hypothesis; __DISPROVED__