この写植機は指定出来るということはない
fact1: もしも「集中し始めないかまたは政治責任である」ものがあるならあの二人共は女の子らしい fact2: この写植機は出来難い fact3: もしこの写植機が出来難いとしたら指定出来る fact4: もし出来難くない物が揉み消さないなら指定出来ない fact5: 「あるものは倒せない」ということは成り立つならそれは出来難くなくてそれにそれは揉み消さない fact6: もし仮にあの二人共は女の子らしいとすると「その真偽屋は過ぎ行く一方で東海系土器でない」ということは事実でない fact7: 「集中し始めないかまたは政治責任であるかもしくは両方な」ものはある
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
この写植機は指定出来ない
fact11 -> int1: もし仮に「この写植機は出来難くないし揉み消さない」ということは真実ならば「それは指定出来ない」ということは成り立つ; fact9 -> int2: 仮にこの写植機が倒せないなら出来難くなくてかつ揉み消さない; fact10 & fact8 -> int3: あの二人共は女の子らしい; fact12 & int3 -> int4: 「その真偽屋は過ぎ行くけれど東海系土器でない」ということは誤っている; int4 -> int5: 「「過ぎ行くけれど東海系土器でない」ということは事実でない」物はある;
$facts$ = fact1: もしも「集中し始めないかまたは政治責任である」ものがあるならあの二人共は女の子らしい fact2: この写植機は出来難い fact3: もしこの写植機が出来難いとしたら指定出来る fact4: もし出来難くない物が揉み消さないなら指定出来ない fact5: 「あるものは倒せない」ということは成り立つならそれは出来難くなくてそれにそれは揉み消さない fact6: もし仮にあの二人共は女の子らしいとすると「その真偽屋は過ぎ行く一方で東海系土器でない」ということは事実でない fact7: 「集中し始めないかまたは政治責任であるかもしくは両方な」ものはある ; $hypothesis$ = この写植機は指定出来るということはない ; $proof$ = 
fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: もしも「集中し始めないかまたは政治責任である」ものがあるならあの二人共は女の子らしい
事実2: この写植機は出来難い
事実3: もしこの写植機が出来難いとしたら指定出来る
事実4: もし出来難くない物が揉み消さないなら指定出来ない
事実5: 「あるものは倒せない」ということは成り立つならそれは出来難くなくてそれにそれは揉み消さない
事実6: もし仮にあの二人共は女の子らしいとすると「その真偽屋は過ぎ行く一方で東海系土器でない」ということは事実でない
事実7: 「集中し始めないかまたは政治責任であるかもしくは両方な」ものはある

仮説: この写植機は指定出来るということはない
1. 事実3と事実2から、仮説が否定される

よって、仮説が否定されました。