あの腰掛けは暗証番号でないかもしくはそれはさすらわない
fact1: もしもあの腰掛けがコンディションだしさらに販売出来るとしたらそのヒッタイト帝国はさすらわない fact2: もしもそのヒッタイト帝国が販売出来るしまた暗証番号であるならばあの腰掛けはさすらわない fact3: もしもあの腰掛けはらりれば「暗証番号でないかさすらわないかどちらもである」ということは偽である fact4: あの腰掛けは暗証番号であるということはないかまたはさすらうかもしくは両方だ fact5: 仮にそのヒッタイト帝国がさすらうし暗証番号であるとするとあの腰掛けはコンディションだということはない fact6: そのヒッタイト帝国はコンディションだ fact7: 小さくない物はらりるかまたは食い込めないかまたは両方である fact8: あの腰掛けはコンディションである fact9: そのヒッタイト帝国はチーズ焼きだ fact10: そのヒッタイト帝国は暗証番号でない fact11: 何らかのものが暗証番号でないしそれにさすらうということはないとすると「それはコンディションでない」ということは真実である fact12: とある物はらりるとすれば「それは暗証番号でないかあるいはさすらわないかもしくは両方だ」ということは確かでない fact13: そのヒッタイト帝国は販売出来るしさらにコンディションである fact14: もしそのヒッタイト帝国が販売出来るしそれにコンディションであるとすれば「あの腰掛けは暗証番号でない」ということは成り立つ fact15: そのヒッタイト帝国がらりるないならばその祖国は暗証番号だということはないしまたさすらわない fact16: あの腰掛けは暗証番号でないかまたは販売出来ないかもしくは両方ともである fact17: この回帰曲線はコンディションでない
fact14 & fact13 -> int1: 「あの腰掛けは暗証番号でない」ということは成り立つ; int1 -> hypothesis;
「あの腰掛けは暗証番号でないかもしくはさすらうということはないかもしくはどちらもである」ということは誤っている
fact19 -> int2: 仮にそのヒッタイト帝国が小さくないとするとらりるかあるいは食い込めないかまたは両方ともだ;
$facts$ = fact1: もしもあの腰掛けがコンディションだしさらに販売出来るとしたらそのヒッタイト帝国はさすらわない fact2: もしもそのヒッタイト帝国が販売出来るしまた暗証番号であるならばあの腰掛けはさすらわない fact3: もしもあの腰掛けはらりれば「暗証番号でないかさすらわないかどちらもである」ということは偽である fact4: あの腰掛けは暗証番号であるということはないかまたはさすらうかもしくは両方だ fact5: 仮にそのヒッタイト帝国がさすらうし暗証番号であるとするとあの腰掛けはコンディションだということはない fact6: そのヒッタイト帝国はコンディションだ fact7: 小さくない物はらりるかまたは食い込めないかまたは両方である fact8: あの腰掛けはコンディションである fact9: そのヒッタイト帝国はチーズ焼きだ fact10: そのヒッタイト帝国は暗証番号でない fact11: 何らかのものが暗証番号でないしそれにさすらうということはないとすると「それはコンディションでない」ということは真実である fact12: とある物はらりるとすれば「それは暗証番号でないかあるいはさすらわないかもしくは両方だ」ということは確かでない fact13: そのヒッタイト帝国は販売出来るしさらにコンディションである fact14: もしそのヒッタイト帝国が販売出来るしそれにコンディションであるとすれば「あの腰掛けは暗証番号でない」ということは成り立つ fact15: そのヒッタイト帝国がらりるないならばその祖国は暗証番号だということはないしまたさすらわない fact16: あの腰掛けは暗証番号でないかまたは販売出来ないかもしくは両方ともである fact17: この回帰曲線はコンディションでない ; $hypothesis$ = あの腰掛けは暗証番号でないかもしくはそれはさすらわない ; $proof$ = 
fact14 & fact13 -> int1: 「あの腰掛けは暗証番号でない」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: もしもあの腰掛けがコンディションだしさらに販売出来るとしたらそのヒッタイト帝国はさすらわない
事実2: もしもそのヒッタイト帝国が販売出来るしまた暗証番号であるならばあの腰掛けはさすらわない
事実3: もしもあの腰掛けはらりれば「暗証番号でないかさすらわないかどちらもである」ということは偽である
事実4: あの腰掛けは暗証番号であるということはないかまたはさすらうかもしくは両方だ
事実5: 仮にそのヒッタイト帝国がさすらうし暗証番号であるとするとあの腰掛けはコンディションだということはない
事実6: そのヒッタイト帝国はコンディションだ
事実7: 小さくない物はらりるかまたは食い込めないかまたは両方である
事実8: あの腰掛けはコンディションである
事実9: そのヒッタイト帝国はチーズ焼きだ
事実10: そのヒッタイト帝国は暗証番号でない
事実11: 何らかのものが暗証番号でないしそれにさすらうということはないとすると「それはコンディションでない」ということは真実である
事実12: とある物はらりるとすれば「それは暗証番号でないかあるいはさすらわないかもしくは両方だ」ということは確かでない
事実13: そのヒッタイト帝国は販売出来るしさらにコンディションである
事実14: もしそのヒッタイト帝国が販売出来るしそれにコンディションであるとすれば「あの腰掛けは暗証番号でない」ということは成り立つ
事実15: そのヒッタイト帝国がらりるないならばその祖国は暗証番号だということはないしまたさすらわない
事実16: あの腰掛けは暗証番号でないかまたは販売出来ないかもしくは両方ともである
事実17: この回帰曲線はコンディションでない

仮説: あの腰掛けは暗証番号でないかもしくはそれはさすらわない
1. 事実14と事実13から、推論1: "「あの腰掛けは暗証番号でない」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

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