その鞣革は黒っぽくないかまたはＳＳテープであるかまたはどちらもである
fact1: 何かは手綱だということはないかまたは追っ払うということはないかもしくはどちらもであるならばそれは引き当てない fact2: もしあの共同応募が手綱であるとするとあのジェットスキーは手綱でないかあるいは追っ払わないかまたはどちらもだ fact3: もしあの割が真白いとするとこのオントロジは締めっぽい fact4: 何らかの物は真白いとしたら「黒っぽくないかもしくはＳＳテープであるかあるいはどちらもだ」ということは誤っている fact5: もしもあのジェットスキーが引き当てないならばあの鞣革は黒っぽいということはないかもしくはＳＳテープであるかもしくは両方ともだ fact6: 仮に「「書き易くなくて加えて魅惑するということはない」ということは誤っている」ものがあるとすればあの割は真白い fact7: もし仮にこのオントロジが締めっぽいとするとあの共同応募は手綱である fact8: 「「追っ払うが締めっぽくない」ということは成り立たない」物はある fact9: あの最高顧問は悩ましい fact10: 「「書き易くないしさらに魅惑しない」ということは本当でない」ものはある fact11: あのジェットスキーは手綱であるかもしくは追っ払うということはないかあるいは両方ともである
fact10 & fact6 -> int1: 「あの割は真白い」ということは成り立つ; int1 & fact3 -> int2: このオントロジは締めっぽい; int2 & fact7 -> int3: あの共同応募は手綱だ; int3 & fact2 -> int4: あのジェットスキーは手綱だということはないかまたは追っ払わないかあるいは両方ともだ; fact1 -> int5: もしあのジェットスキーが手綱だということはないかまたは追っ払わないとすれば引き当てない; int4 & int5 -> int6: 「あのジェットスキーは引き当てない」ということは事実である; int6 & fact5 -> hypothesis;
「その鞣革は黒っぽくないかＳＳテープであるかもしくは両方ともだ」ということは事実と異なる
fact12 -> int7: 仮にその鞣革は真白いとすると「黒っぽくないかＳＳテープだ」ということは成り立つということはない;
$facts$ = fact1: 何かは手綱だということはないかまたは追っ払うということはないかもしくはどちらもであるならばそれは引き当てない fact2: もしあの共同応募が手綱であるとするとあのジェットスキーは手綱でないかあるいは追っ払わないかまたはどちらもだ fact3: もしあの割が真白いとするとこのオントロジは締めっぽい fact4: 何らかの物は真白いとしたら「黒っぽくないかもしくはＳＳテープであるかあるいはどちらもだ」ということは誤っている fact5: もしもあのジェットスキーが引き当てないならばあの鞣革は黒っぽいということはないかもしくはＳＳテープであるかもしくは両方ともだ fact6: 仮に「「書き易くなくて加えて魅惑するということはない」ということは誤っている」ものがあるとすればあの割は真白い fact7: もし仮にこのオントロジが締めっぽいとするとあの共同応募は手綱である fact8: 「「追っ払うが締めっぽくない」ということは成り立たない」物はある fact9: あの最高顧問は悩ましい fact10: 「「書き易くないしさらに魅惑しない」ということは本当でない」ものはある fact11: あのジェットスキーは手綱であるかもしくは追っ払うということはないかあるいは両方ともである ; $hypothesis$ = その鞣革は黒っぽくないかまたはＳＳテープであるかまたはどちらもである ; $proof$ = 
fact10 & fact6 -> int1: 「あの割は真白い」ということは成り立つ; int1 & fact3 -> int2: このオントロジは締めっぽい; int2 & fact7 -> int3: あの共同応募は手綱だ; int3 & fact2 -> int4: あのジェットスキーは手綱だということはないかまたは追っ払わないかあるいは両方ともだ; fact1 -> int5: もしあのジェットスキーが手綱だということはないかまたは追っ払わないとすれば引き当てない; int4 & int5 -> int6: 「あのジェットスキーは引き当てない」ということは事実である; int6 & fact5 -> hypothesis; __PROVED__
事実1: 何かは手綱だということはないかまたは追っ払うということはないかもしくはどちらもであるならばそれは引き当てない
事実2: もしあの共同応募が手綱であるとするとあのジェットスキーは手綱でないかあるいは追っ払わないかまたはどちらもだ
事実3: もしあの割が真白いとするとこのオントロジは締めっぽい
事実4: 何らかの物は真白いとしたら「黒っぽくないかもしくはＳＳテープであるかあるいはどちらもだ」ということは誤っている
事実5: もしもあのジェットスキーが引き当てないならばあの鞣革は黒っぽいということはないかもしくはＳＳテープであるかもしくは両方ともだ
事実6: 仮に「「書き易くなくて加えて魅惑するということはない」ということは誤っている」ものがあるとすればあの割は真白い
事実7: もし仮にこのオントロジが締めっぽいとするとあの共同応募は手綱である
事実8: 「「追っ払うが締めっぽくない」ということは成り立たない」物はある
事実9: あの最高顧問は悩ましい
事実10: 「「書き易くないしさらに魅惑しない」ということは本当でない」ものはある
事実11: あのジェットスキーは手綱であるかもしくは追っ払うということはないかあるいは両方ともである

仮説: その鞣革は黒っぽくないかまたはＳＳテープであるかまたはどちらもである
1. 事実10と事実6から、推論1: "「あの割は真白い」ということは成り立つ"が導かれる
2. 推論1と事実3から、推論2: "このオントロジは締めっぽい"が導かれる
3. 推論2と事実7から、推論3: "あの共同応募は手綱だ"が導かれる
4. 推論3と事実2から、推論4: "あのジェットスキーは手綱だということはないかまたは追っ払わないかあるいは両方ともだ"が導かれる
5. 事実1から、推論5: "もしあのジェットスキーが手綱だということはないかまたは追っ払わないとすれば引き当てない"が導かれる
6. 推論4と推論5から、推論6: "「あのジェットスキーは引き当てない」ということは事実である"が導かれる
7. 推論6と事実5から、仮説が導かれる

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