「「「涙脆いかわりなくないか両方ともだ」ということは確かだ」ということは間違っている」物はある
fact1: もしとある物が記号論でない一方で徴収方法ならこの諸影響は循環しない fact2: 仮に「とある物はわりなくないものでありそれに見窄らしくない」ということは偽だとすれば珍しい fact3: 「なにかは緩くないけど判別し難い」ということは本当だ fact4: あの狭窄は珍しいとすると「この洋は涙脆いかもしくはわりないということはないか両方だ」ということは嘘である fact5: もしも「この半日休日が循環するということはないしさらに二十九参照でない」ということは成り立たないとするとそれは付載する fact6: 「このソリッドシューターは国憲であるかまたは徴収方法でない」ということは確かでない fact7: このソリッドシューターは記号論でないけれど徴収方法だ fact8: 「付載する」物はある fact9: もし仮にその同女性が付載するならあの狭窄は珍しい fact10: 「涙脆いかわりないということはないかもしくはどちらもな」物はある fact11: 仮にこの諸影響が徴収方法でないとすればあの同女性は記号論でしかもそれは見窄らしい fact12: 仮に「わりなくないし循環する」物があるとしたらこの半日休日は付載しない fact13: もしも「何らかのものは見窄らしくないしまた循環しない」ということは間違っているとしたらそれは二十九参照である fact14: この半日休日が二十九参照ならばその同女性は付載する fact15: もしこの諸影響は循環しないなら「この半日休日は見窄らしくないしまた循環しない」ということは誤っている
fact7 -> int1: あるものは記号論でないがしかし徴収方法である; int1 & fact1 -> int2: この諸影響は循環しない; int2 & fact15 -> int3: 「この半日休日は見窄らしくないしその上それは循環しない」ということは誤りだ; fact13 -> int4: もし「この半日休日は見窄らしくないしそれは循環しない」ということは嘘ならばそれは二十九参照である; int3 & int4 -> int5: この半日休日は二十九参照である; int5 & fact14 -> int6: その同女性は付載する; int6 & fact9 -> int7: 「あの狭窄は珍しい」ということは正しい; int7 & fact4 -> int8: 「この洋は涙脆いかまたはそれはわりないということはないかあるいはどちらもである」ということは誤っている; int8 -> hypothesis;
その同女性は見窄らしい
$facts$ = fact1: もしとある物が記号論でない一方で徴収方法ならこの諸影響は循環しない fact2: 仮に「とある物はわりなくないものでありそれに見窄らしくない」ということは偽だとすれば珍しい fact3: 「なにかは緩くないけど判別し難い」ということは本当だ fact4: あの狭窄は珍しいとすると「この洋は涙脆いかもしくはわりないということはないか両方だ」ということは嘘である fact5: もしも「この半日休日が循環するということはないしさらに二十九参照でない」ということは成り立たないとするとそれは付載する fact6: 「このソリッドシューターは国憲であるかまたは徴収方法でない」ということは確かでない fact7: このソリッドシューターは記号論でないけれど徴収方法だ fact8: 「付載する」物はある fact9: もし仮にその同女性が付載するならあの狭窄は珍しい fact10: 「涙脆いかわりないということはないかもしくはどちらもな」物はある fact11: 仮にこの諸影響が徴収方法でないとすればあの同女性は記号論でしかもそれは見窄らしい fact12: 仮に「わりなくないし循環する」物があるとしたらこの半日休日は付載しない fact13: もしも「何らかのものは見窄らしくないしまた循環しない」ということは間違っているとしたらそれは二十九参照である fact14: この半日休日が二十九参照ならばその同女性は付載する fact15: もしこの諸影響は循環しないなら「この半日休日は見窄らしくないしまた循環しない」ということは誤っている ; $hypothesis$ = 「「「涙脆いかわりなくないか両方ともだ」ということは確かだ」ということは間違っている」物はある ; $proof$ = 
fact7 -> int1: あるものは記号論でないがしかし徴収方法である; int1 & fact1 -> int2: この諸影響は循環しない; int2 & fact15 -> int3: 「この半日休日は見窄らしくないしその上それは循環しない」ということは誤りだ; fact13 -> int4: もし「この半日休日は見窄らしくないしそれは循環しない」ということは嘘ならばそれは二十九参照である; int3 & int4 -> int5: この半日休日は二十九参照である; int5 & fact14 -> int6: その同女性は付載する; int6 & fact9 -> int7: 「あの狭窄は珍しい」ということは正しい; int7 & fact4 -> int8: 「この洋は涙脆いかまたはそれはわりないということはないかあるいはどちらもである」ということは誤っている; int8 -> hypothesis; __PROVED__
事実1: もしとある物が記号論でない一方で徴収方法ならこの諸影響は循環しない
事実2: 仮に「とある物はわりなくないものでありそれに見窄らしくない」ということは偽だとすれば珍しい
事実3: 「なにかは緩くないけど判別し難い」ということは本当だ
事実4: あの狭窄は珍しいとすると「この洋は涙脆いかもしくはわりないということはないか両方だ」ということは嘘である
事実5: もしも「この半日休日が循環するということはないしさらに二十九参照でない」ということは成り立たないとするとそれは付載する
事実6: 「このソリッドシューターは国憲であるかまたは徴収方法でない」ということは確かでない
事実7: このソリッドシューターは記号論でないけれど徴収方法だ
事実8: 「付載する」物はある
事実9: もし仮にその同女性が付載するならあの狭窄は珍しい
事実10: 「涙脆いかわりないということはないかもしくはどちらもな」物はある
事実11: 仮にこの諸影響が徴収方法でないとすればあの同女性は記号論でしかもそれは見窄らしい
事実12: 仮に「わりなくないし循環する」物があるとしたらこの半日休日は付載しない
事実13: もしも「何らかのものは見窄らしくないしまた循環しない」ということは間違っているとしたらそれは二十九参照である
事実14: この半日休日が二十九参照ならばその同女性は付載する
事実15: もしこの諸影響は循環しないなら「この半日休日は見窄らしくないしまた循環しない」ということは誤っている

仮説: 「「「涙脆いかわりなくないか両方ともだ」ということは確かだ」ということは間違っている」物はある
1. 事実7から、推論1: "あるものは記号論でないがしかし徴収方法である"が導かれる
2. 推論1と事実1から、推論2: "この諸影響は循環しない"が導かれる
3. 推論2と事実15から、推論3: "「この半日休日は見窄らしくないしその上それは循環しない」ということは誤りだ"が導かれる
4. 事実13から、推論4: "もし「この半日休日は見窄らしくないしそれは循環しない」ということは嘘ならばそれは二十九参照である"が導かれる
5. 推論3と推論4から、推論5: "この半日休日は二十九参照である"が導かれる
6. 推論5と事実14から、推論6: "その同女性は付載する"が導かれる
7. 推論6と事実9から、推論7: "「あの狭窄は珍しい」ということは正しい"が導かれる
8. 推論7と事実4から、推論8: "「この洋は涙脆いかまたはそれはわりないということはないかあるいはどちらもである」ということは誤っている"が導かれる
9. 推論8から、仮説が導かれる

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