この三複合体は揺るがす
fact1: もしもあの問題解決能力がけばけばしくないとすればあの条件分岐は揺るがすし加えて舞う fact2: もしもあの元帥が揺るがすとするとこの三複合体は揺るがす fact3: 「かっかする」物はある fact4: もしもあの問題解決能力は震災直後でないとすれば「それは融資しないしその上渡せない」ということは成り立たない fact5: 仮に「付置しなくてかっかする」ものがあるとしたらこの三複合体は揺るがさない fact6: あの元帥は舞わない fact7: 「「引き渡し請求でなくてその上冗談っぽいない」ということは誤っている」ものはある fact8: もし仮に「何かは揺るがすということはないし会談しない」ということは間違いだとしたら揺るがす fact9: あの問題解決能力が引き渡し請求だとすればそれはもどかしいけど震災直後であるということはない fact10: もし「あの問題解決能力は融資しないし渡せるということはない」ということは誤っているとすればけばけばしくない fact11: もしもあの元帥が舞わないとしたらあの条件分岐は付置しないけれどかっかする fact12: このパフュームは舞わない
fact11 & fact6 -> int1: あの条件分岐は付置しないがしかしかっかする; int1 -> int2: なにがしかのものは付置しないがしかしそれはかっかする; int2 & fact5 -> hypothesis;
この三複合体は揺るがす
fact16 -> int3: 「もし仮に「あの元帥は揺るがすということはないしその上会談するということはない」ということは成り立たないならあの元帥は揺るがす」ということは成り立つ;
$facts$ = fact1: もしもあの問題解決能力がけばけばしくないとすればあの条件分岐は揺るがすし加えて舞う fact2: もしもあの元帥が揺るがすとするとこの三複合体は揺るがす fact3: 「かっかする」物はある fact4: もしもあの問題解決能力は震災直後でないとすれば「それは融資しないしその上渡せない」ということは成り立たない fact5: 仮に「付置しなくてかっかする」ものがあるとしたらこの三複合体は揺るがさない fact6: あの元帥は舞わない fact7: 「「引き渡し請求でなくてその上冗談っぽいない」ということは誤っている」ものはある fact8: もし仮に「何かは揺るがすということはないし会談しない」ということは間違いだとしたら揺るがす fact9: あの問題解決能力が引き渡し請求だとすればそれはもどかしいけど震災直後であるということはない fact10: もし「あの問題解決能力は融資しないし渡せるということはない」ということは誤っているとすればけばけばしくない fact11: もしもあの元帥が舞わないとしたらあの条件分岐は付置しないけれどかっかする fact12: このパフュームは舞わない ; $hypothesis$ = この三複合体は揺るがす ; $proof$ = 
fact11 & fact6 -> int1: あの条件分岐は付置しないがしかしかっかする; int1 -> int2: なにがしかのものは付置しないがしかしそれはかっかする; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもあの問題解決能力がけばけばしくないとすればあの条件分岐は揺るがすし加えて舞う
事実2: もしもあの元帥が揺るがすとするとこの三複合体は揺るがす
事実3: 「かっかする」物はある
事実4: もしもあの問題解決能力は震災直後でないとすれば「それは融資しないしその上渡せない」ということは成り立たない
事実5: 仮に「付置しなくてかっかする」ものがあるとしたらこの三複合体は揺るがさない
事実6: あの元帥は舞わない
事実7: 「「引き渡し請求でなくてその上冗談っぽいない」ということは誤っている」ものはある
事実8: もし仮に「何かは揺るがすということはないし会談しない」ということは間違いだとしたら揺るがす
事実9: あの問題解決能力が引き渡し請求だとすればそれはもどかしいけど震災直後であるということはない
事実10: もし「あの問題解決能力は融資しないし渡せるということはない」ということは誤っているとすればけばけばしくない
事実11: もしもあの元帥が舞わないとしたらあの条件分岐は付置しないけれどかっかする
事実12: このパフュームは舞わない

仮説: この三複合体は揺るがす
1. 事実11と事実6から、推論1: "あの条件分岐は付置しないがしかしかっかする"が導かれる
2. 推論1から、推論2: "なにがしかのものは付置しないがしかしそれはかっかする"が導かれる
3. 推論2と事実5から、仮説が否定される

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