「このオリエント急行は指導者でないしその上クローズアップしない」ということは成り立つということはない
fact1: このオリエント急行は脅かさないなら「言い辛いということはないけどストレス負荷である」ということは事実と異なる fact2: もし仮にこのオリエント急行は頷き掛けないとしたら「「定植しない一方でつま弾く」ということは成り立つ」ということは間違いである fact3: もし仮に何らかの物は糖尿病治療でないとすると「それは指導者でなくておまけにそれはクローズアップしない」ということは誤りである fact4: もしもこのオリエント急行が頷き掛けるかまたはそれはモデルガンでないとしたら言い辛いということはない fact5: 「リフォームする」ものはあるなら「あの身辺整理はモデルガンでその上それは頷き掛ける」ということは成り立たない fact6: もし仮にこのオリエント急行は乗り易くないなら「それは終わりでなくてクローズアップする」ということは誤っている fact7: 「このオリエント急行は指導者だということはないがしかしクローズアップする」ということは偽である fact8: このオリエント急行は糖尿病治療でないならば「指導者でなくてそれはクローズアップする」ということは誤りである fact9: 「「このオリエント急行は指導者だがしかしそれはクローズアップするということはない」ということは正しい」ということは成り立つということはない fact10: 糖尿病治療は過ぎ去るかあるいは山菜でないかまたは両方である fact11: もしもあの身辺整理がモデルガンでないとしたら言い辛いかあるいはそれは糖尿病治療である fact12: このオリエント急行は頷き掛けるかもしくはモデルガンでない fact13: このオリエント急行がつべたいかあるいは糖尿病治療でないかもしくは両方ともであるならばせせこましくない fact14: 「この醤油少々は言い辛い」ということは確かである fact15: もしあの経済情勢は焼夷弾攻撃でないならば「指導者であるし毒しない」ということは誤りだ fact16: 仮にとある物は頷き掛けないならば「指導者だしそれにそれはモデルガンでない」ということは間違いである fact17: その滅多差しは頷き掛ける fact18: あの男女共同参画基本計画はクローズアップする fact19: 仮に「このオリエント急行は糖尿病治療である」ということは成り立つとすると言い辛い fact20: このオリエント急行は低くない fact21: あのＲＤは恥臭でそれはリフォームする fact22: もしもこのオリエント急行は棚卸ししないならば「糖尿病治療でないしそれにそれは凄い」ということは誤っている fact23: このオリエント急行は中間業者でない fact24: あの呼吸中枢は言い辛くない
void -> assump1: 以下のように仮定する。「このオリエント急行は糖尿病治療である」ということは正しい; fact19 & assump1 -> int1: このオリエント急行は言い辛い; fact12 & fact4 -> int2: このオリエント急行は言い辛くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このオリエント急行は糖尿病治療でない; fact3 -> int5: このオリエント急行は糖尿病治療でないとすると「それは指導者でなくてそれはクローズアップするということはない」ということは成り立たない; int4 & int5 -> hypothesis;
このオリエント急行は指導者であるということはなくてクローズアップしない
fact26 -> int6: あのＲＤはリフォームする; int6 -> int7: なにがしかの物はリフォームする; int7 & fact27 -> int8: 「あの身辺整理がモデルガンだしそれは頷き掛ける」ということは成り立たない;
$facts$ = fact1: このオリエント急行は脅かさないなら「言い辛いということはないけどストレス負荷である」ということは事実と異なる fact2: もし仮にこのオリエント急行は頷き掛けないとしたら「「定植しない一方でつま弾く」ということは成り立つ」ということは間違いである fact3: もし仮に何らかの物は糖尿病治療でないとすると「それは指導者でなくておまけにそれはクローズアップしない」ということは誤りである fact4: もしもこのオリエント急行が頷き掛けるかまたはそれはモデルガンでないとしたら言い辛いということはない fact5: 「リフォームする」ものはあるなら「あの身辺整理はモデルガンでその上それは頷き掛ける」ということは成り立たない fact6: もし仮にこのオリエント急行は乗り易くないなら「それは終わりでなくてクローズアップする」ということは誤っている fact7: 「このオリエント急行は指導者だということはないがしかしクローズアップする」ということは偽である fact8: このオリエント急行は糖尿病治療でないならば「指導者でなくてそれはクローズアップする」ということは誤りである fact9: 「「このオリエント急行は指導者だがしかしそれはクローズアップするということはない」ということは正しい」ということは成り立つということはない fact10: 糖尿病治療は過ぎ去るかあるいは山菜でないかまたは両方である fact11: もしもあの身辺整理がモデルガンでないとしたら言い辛いかあるいはそれは糖尿病治療である fact12: このオリエント急行は頷き掛けるかもしくはモデルガンでない fact13: このオリエント急行がつべたいかあるいは糖尿病治療でないかもしくは両方ともであるならばせせこましくない fact14: 「この醤油少々は言い辛い」ということは確かである fact15: もしあの経済情勢は焼夷弾攻撃でないならば「指導者であるし毒しない」ということは誤りだ fact16: 仮にとある物は頷き掛けないならば「指導者だしそれにそれはモデルガンでない」ということは間違いである fact17: その滅多差しは頷き掛ける fact18: あの男女共同参画基本計画はクローズアップする fact19: 仮に「このオリエント急行は糖尿病治療である」ということは成り立つとすると言い辛い fact20: このオリエント急行は低くない fact21: あのＲＤは恥臭でそれはリフォームする fact22: もしもこのオリエント急行は棚卸ししないならば「糖尿病治療でないしそれにそれは凄い」ということは誤っている fact23: このオリエント急行は中間業者でない fact24: あの呼吸中枢は言い辛くない ; $hypothesis$ = 「このオリエント急行は指導者でないしその上クローズアップしない」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このオリエント急行は糖尿病治療である」ということは正しい; fact19 & assump1 -> int1: このオリエント急行は言い辛い; fact12 & fact4 -> int2: このオリエント急行は言い辛くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: このオリエント急行は糖尿病治療でない; fact3 -> int5: このオリエント急行は糖尿病治療でないとすると「それは指導者でなくてそれはクローズアップするということはない」ということは成り立たない; int4 & int5 -> hypothesis; __PROVED__
事実1: このオリエント急行は脅かさないなら「言い辛いということはないけどストレス負荷である」ということは事実と異なる
事実2: もし仮にこのオリエント急行は頷き掛けないとしたら「「定植しない一方でつま弾く」ということは成り立つ」ということは間違いである
事実3: もし仮に何らかの物は糖尿病治療でないとすると「それは指導者でなくておまけにそれはクローズアップしない」ということは誤りである
事実4: もしもこのオリエント急行が頷き掛けるかまたはそれはモデルガンでないとしたら言い辛いということはない
事実5: 「リフォームする」ものはあるなら「あの身辺整理はモデルガンでその上それは頷き掛ける」ということは成り立たない
事実6: もし仮にこのオリエント急行は乗り易くないなら「それは終わりでなくてクローズアップする」ということは誤っている
事実7: 「このオリエント急行は指導者だということはないがしかしクローズアップする」ということは偽である
事実8: このオリエント急行は糖尿病治療でないならば「指導者でなくてそれはクローズアップする」ということは誤りである
事実9: 「「このオリエント急行は指導者だがしかしそれはクローズアップするということはない」ということは正しい」ということは成り立つということはない
事実10: 糖尿病治療は過ぎ去るかあるいは山菜でないかまたは両方である
事実11: もしもあの身辺整理がモデルガンでないとしたら言い辛いかあるいはそれは糖尿病治療である
事実12: このオリエント急行は頷き掛けるかもしくはモデルガンでない
事実13: このオリエント急行がつべたいかあるいは糖尿病治療でないかもしくは両方ともであるならばせせこましくない
事実14: 「この醤油少々は言い辛い」ということは確かである
事実15: もしあの経済情勢は焼夷弾攻撃でないならば「指導者であるし毒しない」ということは誤りだ
事実16: 仮にとある物は頷き掛けないならば「指導者だしそれにそれはモデルガンでない」ということは間違いである
事実17: その滅多差しは頷き掛ける
事実18: あの男女共同参画基本計画はクローズアップする
事実19: 仮に「このオリエント急行は糖尿病治療である」ということは成り立つとすると言い辛い
事実20: このオリエント急行は低くない
事実21: あのＲＤは恥臭でそれはリフォームする
事実22: もしもこのオリエント急行は棚卸ししないならば「糖尿病治療でないしそれにそれは凄い」ということは誤っている
事実23: このオリエント急行は中間業者でない
事実24: あの呼吸中枢は言い辛くない

仮説: 「このオリエント急行は指導者でないしその上クローズアップしない」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。「このオリエント急行は糖尿病治療である」ということは正しい
2. 事実19と仮定1から、推論1: "このオリエント急行は言い辛い"が導かれる
3. 事実12と事実4から、推論2: "このオリエント急行は言い辛くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "このオリエント急行は糖尿病治療でない"が導かれる
6. 事実3から、推論5: "このオリエント急行は糖尿病治療でないとすると「それは指導者でなくてそれはクローズアップするということはない」ということは成り立たない"が導かれる
7. 推論4と推論5から、仮説が導かれる

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