「あのぴねぴにゃLv.17は入館する」ということは正しい
fact1: 仮にこのもいもちょLv.16が差し出がましいとすればあのぴねぴにゃLv.17は差し出がましいということはない fact2: このもいもちょLv.16はぎごちない fact3: このもいもちょLv.16は再認識するしまた差し出がましい fact4: もし仮にこのもいもちょLv.16が再認識するとするとこのもいもちょLv.16は握り返す fact5: もしこのもいもちょLv.16が握り返すとするとくどい fact6: あのもねもねLv.0は奪取する fact7: このもいもちょLv.16がぎごちないしくどいとするとあのぴねぴにゃLv.17は入館するということはない
fact3 -> int1: このもいもちょLv.16は再認識する; int1 & fact4 -> int2: このもいもちょLv.16は握り返す; int2 & fact5 -> int3: このもいもちょLv.16はくどい; int3 & fact2 -> int4: このもいもちょLv.16はぎごちないしくどい; int4 & fact7 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact5 -> int3: {D}{a}; int3 & fact2 -> int4: ({E}{a} & {D}{a}); int4 & fact7 -> hypothesis;
「あのぴねぴにゃLv.17は入館する」ということは正しい
$facts$ = fact1: 仮にこのもいもちょLv.16が差し出がましいとすればあのぴねぴにゃLv.17は差し出がましいということはない fact2: このもいもちょLv.16はぎごちない fact3: このもいもちょLv.16は再認識するしまた差し出がましい fact4: もし仮にこのもいもちょLv.16が再認識するとするとこのもいもちょLv.16は握り返す fact5: もしこのもいもちょLv.16が握り返すとするとくどい fact6: あのもねもねLv.0は奪取する fact7: このもいもちょLv.16がぎごちないしくどいとするとあのぴねぴにゃLv.17は入館するということはない ; $hypothesis$ = 「あのぴねぴにゃLv.17は入館する」ということは正しい ; $proof$ = 
fact3 -> int1: このもいもちょLv.16は再認識する; int1 & fact4 -> int2: このもいもちょLv.16は握り返す; int2 & fact5 -> int3: このもいもちょLv.16はくどい; int3 & fact2 -> int4: このもいもちょLv.16はぎごちないしくどい; int4 & fact7 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact5 -> int3: {D}{a}; int3 & fact2 -> int4: ({E}{a} & {D}{a}); int4 & fact7 -> hypothesis; __DISPROVED__