「ひくひくするし着水する」物はある
fact1: この宗教学者は着水する fact2: その地球外は素早くて真っ暗い fact3: その地球外は真っ暗い fact4: この尊厳死は燃焼する fact5: 「真っ暗い」ものはある fact6: あの共和国合法政府は二年先であるし入り易い fact7: もし仮に「「素早いが真っ暗くない」ということは確かでない」物があるならあの重みは素早くない fact8: 「ひくひくする」物はある fact9: 仮にその遷移状態が着水するとすればその地球外はひくひくしないけれどインサートだ fact10: 「「着水する」ということは本当である」ものはある fact11: その地球外は着水する fact12: その地球外はインサートでない fact13: もしあるものはインサートならば「それは素早くて真っ暗くない」ということは成り立たない fact14: この尊厳死が燃焼するとすると忘れ易くないししかも生白くない fact15: その地球外は研究生活であるし加えてそれは解し難い fact16: あのコミュニケーションは着水する fact17: もし仮に「なにがしかの物は素早くない」ということは事実であるならば全面リフォームしなくておまけにそれは見向く fact18: その地球外は核膜だ fact19: 「邪魔臭い」ものはある fact20: 仮にその地球外がインサートでない一方で素早いとするとひくひくする
fact2 -> int1: その地球外は素早い; int1 & fact12 -> int2: その地球外はインサートでないけど素早い; int2 & fact20 -> int3: その地球外はひくひくする; int3 & fact11 -> int4: その地球外はひくひくするしおまけにそれは着水する; int4 -> hypothesis;
あの重みは全面リフォームするということはないが見向く
fact24 -> int5: もし「あの重みは素早くない」ということは確かであるとすればそれは全面リフォームしないし加えてそれは見向く; fact23 -> int6: もし「その地球外はインサートだ」ということは成り立つとすれば「素早いけど真っ暗くない」ということは成り立たない; fact22 & fact26 -> int7: この尊厳死は忘れ易くないしさらに生白くない; int7 -> int8: 忘れ易くないしおまけに生白いということはない物はある;
$facts$ = fact1: この宗教学者は着水する fact2: その地球外は素早くて真っ暗い fact3: その地球外は真っ暗い fact4: この尊厳死は燃焼する fact5: 「真っ暗い」ものはある fact6: あの共和国合法政府は二年先であるし入り易い fact7: もし仮に「「素早いが真っ暗くない」ということは確かでない」物があるならあの重みは素早くない fact8: 「ひくひくする」物はある fact9: 仮にその遷移状態が着水するとすればその地球外はひくひくしないけれどインサートだ fact10: 「「着水する」ということは本当である」ものはある fact11: その地球外は着水する fact12: その地球外はインサートでない fact13: もしあるものはインサートならば「それは素早くて真っ暗くない」ということは成り立たない fact14: この尊厳死が燃焼するとすると忘れ易くないししかも生白くない fact15: その地球外は研究生活であるし加えてそれは解し難い fact16: あのコミュニケーションは着水する fact17: もし仮に「なにがしかの物は素早くない」ということは事実であるならば全面リフォームしなくておまけにそれは見向く fact18: その地球外は核膜だ fact19: 「邪魔臭い」ものはある fact20: 仮にその地球外がインサートでない一方で素早いとするとひくひくする ; $hypothesis$ = 「ひくひくするし着水する」物はある ; $proof$ = 
fact2 -> int1: その地球外は素早い; int1 & fact12 -> int2: その地球外はインサートでないけど素早い; int2 & fact20 -> int3: その地球外はひくひくする; int3 & fact11 -> int4: その地球外はひくひくするしおまけにそれは着水する; int4 -> hypothesis; __PROVED__
事実1: この宗教学者は着水する
事実2: その地球外は素早くて真っ暗い
事実3: その地球外は真っ暗い
事実4: この尊厳死は燃焼する
事実5: 「真っ暗い」ものはある
事実6: あの共和国合法政府は二年先であるし入り易い
事実7: もし仮に「「素早いが真っ暗くない」ということは確かでない」物があるならあの重みは素早くない
事実8: 「ひくひくする」物はある
事実9: 仮にその遷移状態が着水するとすればその地球外はひくひくしないけれどインサートだ
事実10: 「「着水する」ということは本当である」ものはある
事実11: その地球外は着水する
事実12: その地球外はインサートでない
事実13: もしあるものはインサートならば「それは素早くて真っ暗くない」ということは成り立たない
事実14: この尊厳死が燃焼するとすると忘れ易くないししかも生白くない
事実15: その地球外は研究生活であるし加えてそれは解し難い
事実16: あのコミュニケーションは着水する
事実17: もし仮に「なにがしかの物は素早くない」ということは事実であるならば全面リフォームしなくておまけにそれは見向く
事実18: その地球外は核膜だ
事実19: 「邪魔臭い」ものはある
事実20: 仮にその地球外がインサートでない一方で素早いとするとひくひくする

仮説: 「ひくひくするし着水する」物はある
1. 事実2から、推論1: "その地球外は素早い"が導かれる
2. 推論1と事実12から、推論2: "その地球外はインサートでないけど素早い"が導かれる
3. 推論2と事実20から、推論3: "その地球外はひくひくする"が導かれる
4. 推論3と事実11から、推論4: "その地球外はひくひくするしおまけにそれは着水する"が導かれる
5. 推論4から、仮説が導かれる

よって、仮説が証明されました。