「このもなもちょLv.14は行い易くてそれは進化し易い」ということは事実と異なる
fact1: もし仮にこのもなもちょLv.14が渡るとすればこのもなもちょLv.14は行い易い fact2: もし仮にそのみいみちゃLv.59が使用し易いとしたらこのもなもちょLv.14は渡る fact3: そのみいみちゃLv.59は使用し易いかまたはそれは放出する fact4: もし仮に「そのみいみちゃLv.59は放出する」ということは真実だとしたらこのもなもちょLv.14は渡る fact5: このもなもちょLv.14は進化し易い
fact3 & fact2 & fact4 -> int1: このもなもちょLv.14は渡る; int1 & fact1 -> int2: このもなもちょLv.14は行い易い; int2 & fact5 -> hypothesis;
fact3 & fact2 & fact4 -> int1: {C}{c}; int1 & fact1 -> int2: {D}{c}; int2 & fact5 -> hypothesis;
$facts$ = fact1: もし仮にこのもなもちょLv.14が渡るとすればこのもなもちょLv.14は行い易い fact2: もし仮にそのみいみちゃLv.59が使用し易いとしたらこのもなもちょLv.14は渡る fact3: そのみいみちゃLv.59は使用し易いかまたはそれは放出する fact4: もし仮に「そのみいみちゃLv.59は放出する」ということは真実だとしたらこのもなもちょLv.14は渡る fact5: このもなもちょLv.14は進化し易い ; $hypothesis$ = 「このもなもちょLv.14は行い易くてそれは進化し易い」ということは事実と異なる ; $proof$ = 
fact3 & fact2 & fact4 -> int1: このもなもちょLv.14は渡る; int1 & fact1 -> int2: このもなもちょLv.14は行い易い; int2 & fact5 -> hypothesis; __DISPROVED__
fact3 & fact2 & fact4 -> int1: {C}{c}; int1 & fact1 -> int2: {D}{c}; int2 & fact5 -> hypothesis; __DISPROVED__