「あの横割りは微笑みであるかまたは関与出来るか両方だ」ということは事実と異なる
fact1: なにがしかの物は近しならば「太り易いかあるいは気恥ずかしくないかまたは両方ともだ」ということは成り立たない fact2: とあるものは気恥ずかしくないならば「それは微笑みであるししかも近しということはない」ということは確かでない fact3: このエアブラシは関与出来ない fact4: 仮に「このエアブラシは太り易くない」ということは真実だとしたらあの横割りは微笑みであるかまたは関与出来る fact5: すべてのものは出生前だ fact6: このエアブラシが関与出来ないならあの横割りは微笑みであるか太り易い fact7: もし仮に「とあるものは出生前だ」ということは成り立てば「それがペニシリン耐性肺炎球菌だということはないしさらにそれは紛らわしい」ということは間違いである fact8: 仮にあの横割りが太り易くないとすればこのエアブラシは関与出来るかもしくは微笑みであるかどちらもである fact9: もしなにかは太り易くないとすれば「それは微笑みであるかもしくは関与出来るか両方だ」ということは誤っている fact10: 仮に「このエアブラシは微笑みでない」ということは確かであるとすればあの横割りは関与出来るかあるいはそれは太り易い fact11: もしも「その零以下はペニシリン耐性肺炎球菌でない一方でそれは紛らわしい」ということは間違っているとすればあの関東ジュニア選手権は気恥ずかしいということはない fact12: もし「あの横割りは微笑みであるけれど太り易いということはない」ということは間違いであるとするとこのエアブラシは微笑みでない fact13: もし仮に「「このエアブラシは太り易いかあるいは気恥ずかしくないかあるいは両方である」ということは本当である」ということは偽であるならばあの横割りは太り易くない fact14: このカラオケは微笑みでない fact15: もし仮にこのエアブラシが関与出来るということはないとしたらあの横割りは太り易いかまたは微笑みであるかもしくはどちらもだ fact16: 「この運動力は間髪であるかまたは太り易い」ということは偽でない fact17: あの横割りは微笑みであるかもしくは太り易い fact18: もし仮に「このエアブラシは近しということはない」ということは事実であるならば「それは太り易いしその上気恥ずかしい」ということは嘘だ fact19: このエアブラシは太り易くない fact20: もし仮にあの横割りが太り易くないならばあのエアブラシは微笑みであるかまたはそれは関与出来る fact21: この金属臭は太り易くない
fact4 & fact19 -> hypothesis;
fact4 & fact19 -> hypothesis;
「あの横割りは微笑みであるかそれは関与出来る」ということは成り立たない
fact22 -> int1: 仮にこのエアブラシは近しなら「それは太り易いかもしくは気恥ずかしくないか両方である」ということは成り立つということはない;
$facts$ = fact1: なにがしかの物は近しならば「太り易いかあるいは気恥ずかしくないかまたは両方ともだ」ということは成り立たない fact2: とあるものは気恥ずかしくないならば「それは微笑みであるししかも近しということはない」ということは確かでない fact3: このエアブラシは関与出来ない fact4: 仮に「このエアブラシは太り易くない」ということは真実だとしたらあの横割りは微笑みであるかまたは関与出来る fact5: すべてのものは出生前だ fact6: このエアブラシが関与出来ないならあの横割りは微笑みであるか太り易い fact7: もし仮に「とあるものは出生前だ」ということは成り立てば「それがペニシリン耐性肺炎球菌だということはないしさらにそれは紛らわしい」ということは間違いである fact8: 仮にあの横割りが太り易くないとすればこのエアブラシは関与出来るかもしくは微笑みであるかどちらもである fact9: もしなにかは太り易くないとすれば「それは微笑みであるかもしくは関与出来るか両方だ」ということは誤っている fact10: 仮に「このエアブラシは微笑みでない」ということは確かであるとすればあの横割りは関与出来るかあるいはそれは太り易い fact11: もしも「その零以下はペニシリン耐性肺炎球菌でない一方でそれは紛らわしい」ということは間違っているとすればあの関東ジュニア選手権は気恥ずかしいということはない fact12: もし「あの横割りは微笑みであるけれど太り易いということはない」ということは間違いであるとするとこのエアブラシは微笑みでない fact13: もし仮に「「このエアブラシは太り易いかあるいは気恥ずかしくないかあるいは両方である」ということは本当である」ということは偽であるならばあの横割りは太り易くない fact14: このカラオケは微笑みでない fact15: もし仮にこのエアブラシが関与出来るということはないとしたらあの横割りは太り易いかまたは微笑みであるかもしくはどちらもだ fact16: 「この運動力は間髪であるかまたは太り易い」ということは偽でない fact17: あの横割りは微笑みであるかもしくは太り易い fact18: もし仮に「このエアブラシは近しということはない」ということは事実であるならば「それは太り易いしその上気恥ずかしい」ということは嘘だ fact19: このエアブラシは太り易くない fact20: もし仮にあの横割りが太り易くないならばあのエアブラシは微笑みであるかまたはそれは関与出来る fact21: この金属臭は太り易くない ; $hypothesis$ = 「あの横割りは微笑みであるかまたは関与出来るか両方だ」ということは事実と異なる ; $proof$ = 
fact4 & fact19 -> hypothesis; __DISPROVED__
事実1: なにがしかの物は近しならば「太り易いかあるいは気恥ずかしくないかまたは両方ともだ」ということは成り立たない
事実2: とあるものは気恥ずかしくないならば「それは微笑みであるししかも近しということはない」ということは確かでない
事実3: このエアブラシは関与出来ない
事実4: 仮に「このエアブラシは太り易くない」ということは真実だとしたらあの横割りは微笑みであるかまたは関与出来る
事実5: すべてのものは出生前だ
事実6: このエアブラシが関与出来ないならあの横割りは微笑みであるか太り易い
事実7: もし仮に「とあるものは出生前だ」ということは成り立てば「それがペニシリン耐性肺炎球菌だということはないしさらにそれは紛らわしい」ということは間違いである
事実8: 仮にあの横割りが太り易くないとすればこのエアブラシは関与出来るかもしくは微笑みであるかどちらもである
事実9: もしなにかは太り易くないとすれば「それは微笑みであるかもしくは関与出来るか両方だ」ということは誤っている
事実10: 仮に「このエアブラシは微笑みでない」ということは確かであるとすればあの横割りは関与出来るかあるいはそれは太り易い
事実11: もしも「その零以下はペニシリン耐性肺炎球菌でない一方でそれは紛らわしい」ということは間違っているとすればあの関東ジュニア選手権は気恥ずかしいということはない
事実12: もし「あの横割りは微笑みであるけれど太り易いということはない」ということは間違いであるとするとこのエアブラシは微笑みでない
事実13: もし仮に「「このエアブラシは太り易いかあるいは気恥ずかしくないかあるいは両方である」ということは本当である」ということは偽であるならばあの横割りは太り易くない
事実14: このカラオケは微笑みでない
事実15: もし仮にこのエアブラシが関与出来るということはないとしたらあの横割りは太り易いかまたは微笑みであるかもしくはどちらもだ
事実16: 「この運動力は間髪であるかまたは太り易い」ということは偽でない
事実17: あの横割りは微笑みであるかもしくは太り易い
事実18: もし仮に「このエアブラシは近しということはない」ということは事実であるならば「それは太り易いしその上気恥ずかしい」ということは嘘だ
事実19: このエアブラシは太り易くない
事実20: もし仮にあの横割りが太り易くないならばあのエアブラシは微笑みであるかまたはそれは関与出来る
事実21: この金属臭は太り易くない

仮説: 「あの横割りは微笑みであるかまたは関与出来るか両方だ」ということは事実と異なる
1. 事実4と事実19から、仮説が否定される

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