この潜水具は刺し貫く
fact1: あのまぶいは刺し貫く fact2: 全ては晩夏でない fact3: 全てはうとうとしない fact4: もしこの潜水具が刺し貫くならそれはうとうとする fact5: この潜水具は分散配置する fact6: このＶＨＳは刺し貫く fact7: 使用し難くない物は通せん坊するしかつ漂い続ける fact8: この潜水具は御濃い fact9: あの重複障害児は残念がる fact10: もしあの萩が刺し貫くとするとそれは住み良い fact11: もし仮に「とあるものはしたがるけどそれは刺し貫かない」ということは間違いであるとすればしたがらない fact12: もしも「あの重複障害児は残念がる」ということは事実であるならば「あの住民参加型は空しいけれど個体死でない」ということは誤りである fact13: 「通せん坊する」ものはあるとすれば「その助手台はうとうとするがしかしそれは刺し貫かない」ということは嘘だ fact14: この潜水具はオーバーシュートする fact15: もし仮に「「空しいし個体死でない」ということは成り立たない」物があるとすればあの鎖目は使用し難くない
void -> assump1: 以下のように仮定する。この潜水具は刺し貫く; fact4 & assump1 -> int1: この潜水具はうとうとする; fact3 -> int2: この潜水具はうとうとしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
すべてのものはしたがるということはない
fact16 -> int4: もしも「「この潜水具はしたがる一方でそれは刺し貫かない」ということは真実である」ということは成り立たないならばしたがらない;
$facts$ = fact1: あのまぶいは刺し貫く fact2: 全ては晩夏でない fact3: 全てはうとうとしない fact4: もしこの潜水具が刺し貫くならそれはうとうとする fact5: この潜水具は分散配置する fact6: このＶＨＳは刺し貫く fact7: 使用し難くない物は通せん坊するしかつ漂い続ける fact8: この潜水具は御濃い fact9: あの重複障害児は残念がる fact10: もしあの萩が刺し貫くとするとそれは住み良い fact11: もし仮に「とあるものはしたがるけどそれは刺し貫かない」ということは間違いであるとすればしたがらない fact12: もしも「あの重複障害児は残念がる」ということは事実であるならば「あの住民参加型は空しいけれど個体死でない」ということは誤りである fact13: 「通せん坊する」ものはあるとすれば「その助手台はうとうとするがしかしそれは刺し貫かない」ということは嘘だ fact14: この潜水具はオーバーシュートする fact15: もし仮に「「空しいし個体死でない」ということは成り立たない」物があるとすればあの鎖目は使用し難くない ; $hypothesis$ = この潜水具は刺し貫く ; $proof$ = 
void -> assump1: 以下のように仮定する。この潜水具は刺し貫く; fact4 & assump1 -> int1: この潜水具はうとうとする; fact3 -> int2: この潜水具はうとうとしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: あのまぶいは刺し貫く
事実2: 全ては晩夏でない
事実3: 全てはうとうとしない
事実4: もしこの潜水具が刺し貫くならそれはうとうとする
事実5: この潜水具は分散配置する
事実6: このＶＨＳは刺し貫く
事実7: 使用し難くない物は通せん坊するしかつ漂い続ける
事実8: この潜水具は御濃い
事実9: あの重複障害児は残念がる
事実10: もしあの萩が刺し貫くとするとそれは住み良い
事実11: もし仮に「とあるものはしたがるけどそれは刺し貫かない」ということは間違いであるとすればしたがらない
事実12: もしも「あの重複障害児は残念がる」ということは事実であるならば「あの住民参加型は空しいけれど個体死でない」ということは誤りである
事実13: 「通せん坊する」ものはあるとすれば「その助手台はうとうとするがしかしそれは刺し貫かない」ということは嘘だ
事実14: この潜水具はオーバーシュートする
事実15: もし仮に「「空しいし個体死でない」ということは成り立たない」物があるとすればあの鎖目は使用し難くない

仮説: この潜水具は刺し貫く
1. 仮定1: 以下のように仮定する。この潜水具は刺し貫く
2. 事実4と仮定1から、推論1: "この潜水具はうとうとする"が導かれる
3. 事実3から、推論2: "この潜水具はうとうとしない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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