あのぷいぷにゅLv.94は移出する
fact1: あのもにゃもなLv.43は伸び易くない fact2: あのもちょもやLv.68は暴騰する fact3: 仮にあのもちょもやLv.68が混乱し始めるし送り迎えするとすればあのもちょもやLv.68は伸び易くない fact4: もしあのもちょもやLv.68が暴騰するとしたらあのもちょもやLv.68は混乱し始める fact5: あのもちょもやLv.68が伸び易いということはなくておまけに凛々しくないとすればあのぷいぷにゅLv.94は移出するということはない fact6: あのもちょもやLv.68は送り迎えする fact7: あのもちょもやLv.68は凛々しくない
fact4 & fact2 -> int1: あのもちょもやLv.68は混乱し始める; int1 & fact6 -> int2: あのもちょもやLv.68は混乱し始めるし送り迎えする; int2 & fact3 -> int3: あのもちょもやLv.68は伸び易くない; int3 & fact7 -> int4: あのもちょもやLv.68は伸び易いということはなくて凛々しくない; int4 & fact5 -> hypothesis;
fact4 & fact2 -> int1: {B}{a}; int1 & fact6 -> int2: ({B}{a} & {C}{a}); int2 & fact3 -> int3: ¬{D}{a}; int3 & fact7 -> int4: (¬{D}{a} & ¬{E}{a}); int4 & fact5 -> hypothesis;
$facts$ = fact1: あのもにゃもなLv.43は伸び易くない fact2: あのもちょもやLv.68は暴騰する fact3: 仮にあのもちょもやLv.68が混乱し始めるし送り迎えするとすればあのもちょもやLv.68は伸び易くない fact4: もしあのもちょもやLv.68が暴騰するとしたらあのもちょもやLv.68は混乱し始める fact5: あのもちょもやLv.68が伸び易いということはなくておまけに凛々しくないとすればあのぷいぷにゅLv.94は移出するということはない fact6: あのもちょもやLv.68は送り迎えする fact7: あのもちょもやLv.68は凛々しくない ; $hypothesis$ = あのぷいぷにゅLv.94は移出する ; $proof$ = 
fact4 & fact2 -> int1: あのもちょもやLv.68は混乱し始める; int1 & fact6 -> int2: あのもちょもやLv.68は混乱し始めるし送り迎えする; int2 & fact3 -> int3: あのもちょもやLv.68は伸び易くない; int3 & fact7 -> int4: あのもちょもやLv.68は伸び易いということはなくて凛々しくない; int4 & fact5 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: {B}{a}; int1 & fact6 -> int2: ({B}{a} & {C}{a}); int2 & fact3 -> int3: ¬{D}{a}; int3 & fact7 -> int4: (¬{D}{a} & ¬{E}{a}); int4 & fact5 -> hypothesis; __DISPROVED__