「「もし仮にクラムシェル型でないかもしくは千六百年代であるかあるいは両方であるならば行き易い」物はある」ということは本当でない
fact1: もし仮にその第一バイオリンは千六百年代であるならばそれは行き易い fact2: もし何らかの物は捏ね上げるか自称するかあるいはどちらもであるならばそれは急騰する fact3: もし仮にとあるものはクラムシェル型でないかそれは千六百年代であるかもしくは両方ともであるとするとそれは行き易い fact4: 「なにかは舞台衣装でないかまたは自然消滅する」ということは誤っていないとすると出家する fact5: 仮にその第一バイオリンが反応し易いとすればそれは訝しい fact6: 「仮に「揺すか身軽いかあるいは両方ともである」ということは成り立つとすればボディケアな」物はある fact7: もしもその第一バイオリンは行き易くないかあるいは自然消滅するかもしくは両方であるとすれば失える fact8: 「もし仮にクラムシェル型であるか千六百年代であるならば行き易い」物はある fact9: この自堕落は美味しいかまたは締め付けるかもしくは両方ともであるとすればボウルである fact10: もし仮にあの植林は物寂しいかあるいは増え出すとすれば攪拌器である fact11: もし仮にそのカバラが伝わり易いか千六百年代であるなら頑是無い fact12: もしもこの成功モデルは行き易くないかもしくは忝いかあるいはどちらもだとすると撮像する fact13: 「もし浅いかまたは取れ難いかもしくはどちらもだとすればぼろい」ものはある fact14: 「もしもコミュニケートするなら水没する」ものはある fact15: 仮にとある物は敗れるかもしくは忌まわしいとしたらそれは五パーセント未満である fact16: もし仮にこの業は旨しないかまたは聞き易いか両方だとすればクラムシェル型である
fact3 -> int1: その第一バイオリンはクラムシェル型でないかあるいは千六百年代であるかあるいはどちらもであるとしたら「それは行き易い」ということは事実だ; int1 -> hypothesis;
$facts$ = fact1: もし仮にその第一バイオリンは千六百年代であるならばそれは行き易い fact2: もし何らかの物は捏ね上げるか自称するかあるいはどちらもであるならばそれは急騰する fact3: もし仮にとあるものはクラムシェル型でないかそれは千六百年代であるかもしくは両方ともであるとするとそれは行き易い fact4: 「なにかは舞台衣装でないかまたは自然消滅する」ということは誤っていないとすると出家する fact5: 仮にその第一バイオリンが反応し易いとすればそれは訝しい fact6: 「仮に「揺すか身軽いかあるいは両方ともである」ということは成り立つとすればボディケアな」物はある fact7: もしもその第一バイオリンは行き易くないかあるいは自然消滅するかもしくは両方であるとすれば失える fact8: 「もし仮にクラムシェル型であるか千六百年代であるならば行き易い」物はある fact9: この自堕落は美味しいかまたは締め付けるかもしくは両方ともであるとすればボウルである fact10: もし仮にあの植林は物寂しいかあるいは増え出すとすれば攪拌器である fact11: もし仮にそのカバラが伝わり易いか千六百年代であるなら頑是無い fact12: もしもこの成功モデルは行き易くないかもしくは忝いかあるいはどちらもだとすると撮像する fact13: 「もし浅いかまたは取れ難いかもしくはどちらもだとすればぼろい」ものはある fact14: 「もしもコミュニケートするなら水没する」ものはある fact15: 仮にとある物は敗れるかもしくは忌まわしいとしたらそれは五パーセント未満である fact16: もし仮にこの業は旨しないかまたは聞き易いか両方だとすればクラムシェル型である ; $hypothesis$ = 「「もし仮にクラムシェル型でないかもしくは千六百年代であるかあるいは両方であるならば行き易い」物はある」ということは本当でない ; $proof$ = 
fact3 -> int1: その第一バイオリンはクラムシェル型でないかあるいは千六百年代であるかあるいはどちらもであるとしたら「それは行き易い」ということは事実だ; int1 -> hypothesis; __DISPROVED__
事実1: もし仮にその第一バイオリンは千六百年代であるならばそれは行き易い
事実2: もし何らかの物は捏ね上げるか自称するかあるいはどちらもであるならばそれは急騰する
事実3: もし仮にとあるものはクラムシェル型でないかそれは千六百年代であるかもしくは両方ともであるとするとそれは行き易い
事実4: 「なにかは舞台衣装でないかまたは自然消滅する」ということは誤っていないとすると出家する
事実5: 仮にその第一バイオリンが反応し易いとすればそれは訝しい
事実6: 「仮に「揺すか身軽いかあるいは両方ともである」ということは成り立つとすればボディケアな」物はある
事実7: もしもその第一バイオリンは行き易くないかあるいは自然消滅するかもしくは両方であるとすれば失える
事実8: 「もし仮にクラムシェル型であるか千六百年代であるならば行き易い」物はある
事実9: この自堕落は美味しいかまたは締め付けるかもしくは両方ともであるとすればボウルである
事実10: もし仮にあの植林は物寂しいかあるいは増え出すとすれば攪拌器である
事実11: もし仮にそのカバラが伝わり易いか千六百年代であるなら頑是無い
事実12: もしもこの成功モデルは行き易くないかもしくは忝いかあるいはどちらもだとすると撮像する
事実13: 「もし浅いかまたは取れ難いかもしくはどちらもだとすればぼろい」ものはある
事実14: 「もしもコミュニケートするなら水没する」ものはある
事実15: 仮にとある物は敗れるかもしくは忌まわしいとしたらそれは五パーセント未満である
事実16: もし仮にこの業は旨しないかまたは聞き易いか両方だとすればクラムシェル型である

仮説: 「「もし仮にクラムシェル型でないかもしくは千六百年代であるかあるいは両方であるならば行き易い」物はある」ということは本当でない
1. 事実3から、推論1: "その第一バイオリンはクラムシェル型でないかあるいは千六百年代であるかあるいはどちらもであるとしたら「それは行き易い」ということは事実だ"が導かれる
2. 推論1から、仮説が否定される

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