その拘留中は震撼する
fact1: もしも「何かは扠置かないかもしくは急先鋒でないかもしくは両方ともだ」ということは成り立たないならそれは年金法である fact2: もし「竜人でない」ものがあるならばあの拘留中は速でしかも移動出来る fact3: あのサブディレクトリは伸長する fact4: 「その薄物は伸長する」ということは嘘であるということはない fact5: 仮にその拘留中が震撼するとしたらこの御望みはデンマーク人である fact6: 「竜人でない」物はある fact7: もし仮になにがしかの物は気弱いとすれば「それは扠置かないかあるいはそれは急先鋒であるということはないかあるいは両方ともだ」ということは事実と異なる fact8: 仮にこの御望みが伸長するならその拘留中は震撼する fact9: 「その子達は伸長する」ということは嘘でない fact10: もしその拘留中が伸長するならこの御望みは震撼する fact11: もし「何かは無駄遣いしない」ということは確かだとすれば震撼しなくて伸長する fact12: あの矛盾律は伸長する fact13: もしとあるものは伸長するがしかし無駄遣いしないならそれは震撼する fact14: 「この御望みは伸長する」ということは嘘であるということはない fact15: もし仮にこの御望みが震撼すればその拘留中は溶解する fact16: その拘留中が移動出来るならばあの御望みは気弱い fact17: このレベラーは伸長する fact18: その拘留中はエキサイトする fact19: この御望みは震撼する fact20: 「その拘留中は特別支給だ」ということは本当だ fact21: もしこの兵力が伸長するとするとこの御望みは震撼する fact22: もし仮にこの御望みが震撼するとすればあの拘留中は伸長する
fact8 & fact14 -> hypothesis;
fact8 & fact14 -> hypothesis;
この少年・少女は震撼する
fact23 -> int1: この少年・少女は伸長するがしかし無駄遣いしないとすれば震撼する; fact26 -> int2: もし「この御望みは扠置かないかまたはそれは急先鋒でない」ということは成り立たないならそれは年金法である; fact27 -> int3: もしもこの御望みは気弱いとすれば「それは扠置かないかそれは急先鋒でないかまたはどちらもである」ということは本当でない; fact28 & fact25 -> int4: その拘留中は速であるしそれに移動出来る; int4 -> int5: その拘留中は移動出来る; fact24 & int5 -> int6: この御望みは気弱い; int3 & int6 -> int7: 「この御望みは扠置かないか急先鋒でないかあるいは両方ともだ」ということは誤っている; int2 & int7 -> int8: この御望みは年金法だ; int8 -> int9: 「年金法である」物はある;
$facts$ = fact1: もしも「何かは扠置かないかもしくは急先鋒でないかもしくは両方ともだ」ということは成り立たないならそれは年金法である fact2: もし「竜人でない」ものがあるならばあの拘留中は速でしかも移動出来る fact3: あのサブディレクトリは伸長する fact4: 「その薄物は伸長する」ということは嘘であるということはない fact5: 仮にその拘留中が震撼するとしたらこの御望みはデンマーク人である fact6: 「竜人でない」物はある fact7: もし仮になにがしかの物は気弱いとすれば「それは扠置かないかあるいはそれは急先鋒であるということはないかあるいは両方ともだ」ということは事実と異なる fact8: 仮にこの御望みが伸長するならその拘留中は震撼する fact9: 「その子達は伸長する」ということは嘘でない fact10: もしその拘留中が伸長するならこの御望みは震撼する fact11: もし「何かは無駄遣いしない」ということは確かだとすれば震撼しなくて伸長する fact12: あの矛盾律は伸長する fact13: もしとあるものは伸長するがしかし無駄遣いしないならそれは震撼する fact14: 「この御望みは伸長する」ということは嘘であるということはない fact15: もし仮にこの御望みが震撼すればその拘留中は溶解する fact16: その拘留中が移動出来るならばあの御望みは気弱い fact17: このレベラーは伸長する fact18: その拘留中はエキサイトする fact19: この御望みは震撼する fact20: 「その拘留中は特別支給だ」ということは本当だ fact21: もしこの兵力が伸長するとするとこの御望みは震撼する fact22: もし仮にこの御望みが震撼するとすればあの拘留中は伸長する ; $hypothesis$ = その拘留中は震撼する ; $proof$ = 
fact8 & fact14 -> hypothesis; __PROVED__
事実1: もしも「何かは扠置かないかもしくは急先鋒でないかもしくは両方ともだ」ということは成り立たないならそれは年金法である
事実2: もし「竜人でない」ものがあるならばあの拘留中は速でしかも移動出来る
事実3: あのサブディレクトリは伸長する
事実4: 「その薄物は伸長する」ということは嘘であるということはない
事実5: 仮にその拘留中が震撼するとしたらこの御望みはデンマーク人である
事実6: 「竜人でない」物はある
事実7: もし仮になにがしかの物は気弱いとすれば「それは扠置かないかあるいはそれは急先鋒であるということはないかあるいは両方ともだ」ということは事実と異なる
事実8: 仮にこの御望みが伸長するならその拘留中は震撼する
事実9: 「その子達は伸長する」ということは嘘でない
事実10: もしその拘留中が伸長するならこの御望みは震撼する
事実11: もし「何かは無駄遣いしない」ということは確かだとすれば震撼しなくて伸長する
事実12: あの矛盾律は伸長する
事実13: もしとあるものは伸長するがしかし無駄遣いしないならそれは震撼する
事実14: 「この御望みは伸長する」ということは嘘であるということはない
事実15: もし仮にこの御望みが震撼すればその拘留中は溶解する
事実16: その拘留中が移動出来るならばあの御望みは気弱い
事実17: このレベラーは伸長する
事実18: その拘留中はエキサイトする
事実19: この御望みは震撼する
事実20: 「その拘留中は特別支給だ」ということは本当だ
事実21: もしこの兵力が伸長するとするとこの御望みは震撼する
事実22: もし仮にこの御望みが震撼するとすればあの拘留中は伸長する

仮説: その拘留中は震撼する
1. 事実8と事実14から、仮説が導かれる

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