あの奇行は真実在でないかコンドーム使用であるかまたはどちらもだ
fact1: もしあの修道士達が聞き始めないかそれが階であるとしたらその侍所は聞き始める fact2: もしもあの奇行が大明でないとすればそれは付き易くないか真実在だ fact3: 何らかの物が聞き始めるとすると影響され易い fact4: もしあの奇行が借家しないなら真実在であるかまたはコンドーム使用であるかあるいは両方ともだ fact5: あの奇行は借家しない fact6: もし仮に何らかのものは悪魔達であるなら「それは六十二人でないしそれは殺到しない」ということは嘘である fact7: もしあの修道士達が聞き返さないなら悪魔達であるし更にそれは彼らしい fact8: その胸部単純Ｘ線写真は借家しない fact9: もし仮になにがしかの物は殺到すれば「聞き始めるということはないか階であるかまたはどちらもだ」ということは真実である fact10: その表面は真実在でない fact11: もしあの奇行が借家するということはないとすると真実在だということはないかもしくはコンドーム使用であるかまたは両方ともだ fact12: もしもこの手編は真実在でないとしたら抗核抗体でないかまたは屈するかもしくはどちらもだ fact13: 仮にその侍所が影響され易いならばあの奇行は借家しないかまたは気弱いかあるいはどちらもだ fact14: もし仮にあの奇行が借家しないかあるいは気弱いかあるいは両方ともだとしたらその当該請求はコンドーム使用でない fact15: 仮に何らかの物は借家するなら「それは真実在でないかまたはコンドーム使用であるか両方である」ということは成り立つということはない fact16: あの奇行はコンドーム使用でないかもしくはぎくしゃくするか両方ともだ fact17: あの奇行は真実在であるかあるいはコンドーム使用である fact18: 仮に「なんらかの物は六十二人でないしさらに殺到するということはない」ということは成り立たないとしたら「それは殺到する」ということは事実だ
fact11 & fact5 -> hypothesis;
fact11 & fact5 -> hypothesis;
その当該請求はコンドーム使用であるということはない
fact22 -> int1: もしもその侍所が聞き始めればそれは影響され易い; fact23 -> int2: もし仮にあの修道士達が殺到すれば聞き始めないかまたはそれは階である; fact26 -> int3: 仮に「あの修道士達は六十二人でなくてそれは殺到しない」ということは誤っているなら殺到する; fact25 -> int4: もしもあの修道士達は悪魔達であるならば「それは六十二人でないしそれは殺到するということはない」ということは成り立たない;
$facts$ = fact1: もしあの修道士達が聞き始めないかそれが階であるとしたらその侍所は聞き始める fact2: もしもあの奇行が大明でないとすればそれは付き易くないか真実在だ fact3: 何らかの物が聞き始めるとすると影響され易い fact4: もしあの奇行が借家しないなら真実在であるかまたはコンドーム使用であるかあるいは両方ともだ fact5: あの奇行は借家しない fact6: もし仮に何らかのものは悪魔達であるなら「それは六十二人でないしそれは殺到しない」ということは嘘である fact7: もしあの修道士達が聞き返さないなら悪魔達であるし更にそれは彼らしい fact8: その胸部単純Ｘ線写真は借家しない fact9: もし仮になにがしかの物は殺到すれば「聞き始めるということはないか階であるかまたはどちらもだ」ということは真実である fact10: その表面は真実在でない fact11: もしあの奇行が借家するということはないとすると真実在だということはないかもしくはコンドーム使用であるかまたは両方ともだ fact12: もしもこの手編は真実在でないとしたら抗核抗体でないかまたは屈するかもしくはどちらもだ fact13: 仮にその侍所が影響され易いならばあの奇行は借家しないかまたは気弱いかあるいはどちらもだ fact14: もし仮にあの奇行が借家しないかあるいは気弱いかあるいは両方ともだとしたらその当該請求はコンドーム使用でない fact15: 仮に何らかの物は借家するなら「それは真実在でないかまたはコンドーム使用であるか両方である」ということは成り立つということはない fact16: あの奇行はコンドーム使用でないかもしくはぎくしゃくするか両方ともだ fact17: あの奇行は真実在であるかあるいはコンドーム使用である fact18: 仮に「なんらかの物は六十二人でないしさらに殺到するということはない」ということは成り立たないとしたら「それは殺到する」ということは事実だ ; $hypothesis$ = あの奇行は真実在でないかコンドーム使用であるかまたはどちらもだ ; $proof$ = 
fact11 & fact5 -> hypothesis; __PROVED__
事実1: もしあの修道士達が聞き始めないかそれが階であるとしたらその侍所は聞き始める
事実2: もしもあの奇行が大明でないとすればそれは付き易くないか真実在だ
事実3: 何らかの物が聞き始めるとすると影響され易い
事実4: もしあの奇行が借家しないなら真実在であるかまたはコンドーム使用であるかあるいは両方ともだ
事実5: あの奇行は借家しない
事実6: もし仮に何らかのものは悪魔達であるなら「それは六十二人でないしそれは殺到しない」ということは嘘である
事実7: もしあの修道士達が聞き返さないなら悪魔達であるし更にそれは彼らしい
事実8: その胸部単純Ｘ線写真は借家しない
事実9: もし仮になにがしかの物は殺到すれば「聞き始めるということはないか階であるかまたはどちらもだ」ということは真実である
事実10: その表面は真実在でない
事実11: もしあの奇行が借家するということはないとすると真実在だということはないかもしくはコンドーム使用であるかまたは両方ともだ
事実12: もしもこの手編は真実在でないとしたら抗核抗体でないかまたは屈するかもしくはどちらもだ
事実13: 仮にその侍所が影響され易いならばあの奇行は借家しないかまたは気弱いかあるいはどちらもだ
事実14: もし仮にあの奇行が借家しないかあるいは気弱いかあるいは両方ともだとしたらその当該請求はコンドーム使用でない
事実15: 仮に何らかの物は借家するなら「それは真実在でないかまたはコンドーム使用であるか両方である」ということは成り立つということはない
事実16: あの奇行はコンドーム使用でないかもしくはぎくしゃくするか両方ともだ
事実17: あの奇行は真実在であるかあるいはコンドーム使用である
事実18: 仮に「なんらかの物は六十二人でないしさらに殺到するということはない」ということは成り立たないとしたら「それは殺到する」ということは事実だ

仮説: あの奇行は真実在でないかコンドーム使用であるかまたはどちらもだ
1. 事実11と事実5から、仮説が導かれる

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