「「この電動ドリルは受け難くないしおまけに刷り上がらない」ということは成り立つということはない」ということは確かだ
fact1: もし仮にあの一区間が連れ出すとしたらこの共起は測定出来る fact2: 仮に何かは検索・置換なら測定出来ないしさらに連れ出さない fact3: この共起は停車するということはないなら「それは抹消であるかあるいは検索・置換であるかもしくは両方ともである」ということは真実だ fact4: 仮に「この共起は測定出来る」ということは本当ならばあの分流は検索・置換である一方で抹消だということはない fact5: あの一区間は刷り上がらない fact6: もしもこの共起は典型性であるならば停車するということはない fact7: そのトマト君が受け難くないとすればこの電動ドリルは受け難くなくて刷り上がらない fact8: この構成要件は連れ出す fact9: もし仮に「あの一区間は検索・置換だ」ということは正しいとするとこの電動ドリルは検索・置換である fact10: あの一区間は連れ出す fact11: もしもあの分流が検索・置換である一方で抹消でないならそのトマト君は受け難くない fact12: もし仮にあの分流が受け難いしそれが検索・置換であるとすればあの電動ドリルは刷り上がらない fact13: もしもあの分流が検索・置換でそれが抹消ならそのトマト君は受け難くない fact14: あの分流は抹消でない fact15: 「あの一区間は受け難くない」ということは真実だ fact16: 「この電動ドリルは受け難くない」ということは成り立つ
fact1 & fact10 -> int1: この共起は測定出来る; int1 & fact4 -> int2: あの分流は検索・置換であるけど抹消だということはない; int2 & fact11 -> int3: そのトマト君は受け難くない; int3 & fact7 -> hypothesis;
「この電動ドリルは受け難くなくて加えて刷り上がらない」ということは偽である
fact20 -> int4: もしもこの電動ドリルが検索・置換であるならばそれは測定出来ないし更に連れ出さない;
$facts$ = fact1: もし仮にあの一区間が連れ出すとしたらこの共起は測定出来る fact2: 仮に何かは検索・置換なら測定出来ないしさらに連れ出さない fact3: この共起は停車するということはないなら「それは抹消であるかあるいは検索・置換であるかもしくは両方ともである」ということは真実だ fact4: 仮に「この共起は測定出来る」ということは本当ならばあの分流は検索・置換である一方で抹消だということはない fact5: あの一区間は刷り上がらない fact6: もしもこの共起は典型性であるならば停車するということはない fact7: そのトマト君が受け難くないとすればこの電動ドリルは受け難くなくて刷り上がらない fact8: この構成要件は連れ出す fact9: もし仮に「あの一区間は検索・置換だ」ということは正しいとするとこの電動ドリルは検索・置換である fact10: あの一区間は連れ出す fact11: もしもあの分流が検索・置換である一方で抹消でないならそのトマト君は受け難くない fact12: もし仮にあの分流が受け難いしそれが検索・置換であるとすればあの電動ドリルは刷り上がらない fact13: もしもあの分流が検索・置換でそれが抹消ならそのトマト君は受け難くない fact14: あの分流は抹消でない fact15: 「あの一区間は受け難くない」ということは真実だ fact16: 「この電動ドリルは受け難くない」ということは成り立つ ; $hypothesis$ = 「「この電動ドリルは受け難くないしおまけに刷り上がらない」ということは成り立つということはない」ということは確かだ ; $proof$ = 
fact1 & fact10 -> int1: この共起は測定出来る; int1 & fact4 -> int2: あの分流は検索・置換であるけど抹消だということはない; int2 & fact11 -> int3: そのトマト君は受け難くない; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮にあの一区間が連れ出すとしたらこの共起は測定出来る
事実2: 仮に何かは検索・置換なら測定出来ないしさらに連れ出さない
事実3: この共起は停車するということはないなら「それは抹消であるかあるいは検索・置換であるかもしくは両方ともである」ということは真実だ
事実4: 仮に「この共起は測定出来る」ということは本当ならばあの分流は検索・置換である一方で抹消だということはない
事実5: あの一区間は刷り上がらない
事実6: もしもこの共起は典型性であるならば停車するということはない
事実7: そのトマト君が受け難くないとすればこの電動ドリルは受け難くなくて刷り上がらない
事実8: この構成要件は連れ出す
事実9: もし仮に「あの一区間は検索・置換だ」ということは正しいとするとこの電動ドリルは検索・置換である
事実10: あの一区間は連れ出す
事実11: もしもあの分流が検索・置換である一方で抹消でないならそのトマト君は受け難くない
事実12: もし仮にあの分流が受け難いしそれが検索・置換であるとすればあの電動ドリルは刷り上がらない
事実13: もしもあの分流が検索・置換でそれが抹消ならそのトマト君は受け難くない
事実14: あの分流は抹消でない
事実15: 「あの一区間は受け難くない」ということは真実だ
事実16: 「この電動ドリルは受け難くない」ということは成り立つ

仮説: 「「この電動ドリルは受け難くないしおまけに刷り上がらない」ということは成り立つということはない」ということは確かだ
1. 事実1と事実10から、推論1: "この共起は測定出来る"が導かれる
2. 推論1と事実4から、推論2: "あの分流は検索・置換であるけど抹消だということはない"が導かれる
3. 推論2と事実11から、推論3: "そのトマト君は受け難くない"が導かれる
4. 推論3と事実7から、仮説が否定される

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