「そのＬＯが弛いとするとこの先生自身は押し易い」ということは成り立たない
fact1: 仮に「そのＬＯは弛くない」ということは誤りだとすればその廃止は酒臭い fact2: 「その廃止は押し易い」ということは真実だとすればこの先生自身は酒臭い fact3: この先生自身は欧米並みである fact4: この先生自身が弛いとするとそのＬＯは押し易い fact5: 「そのＬＯは奥方様である」ということは誤っていない fact6: 押し易いものは弛い fact7: 仮にとあるものが浅ましとすればスクラップする fact8: そのホームエコノミクスは欧米並みである fact9: もしもある物が押し易いなら酒臭い fact10: その廃止は地域博物館だ fact11: そのＬＯは押し易い fact12: その廃止が押し易いならこの先生自身は欧米並みである fact13: その移住先は酒臭い fact14: 仮に「その廃止は欧米並みだ」ということは事実だとすればあの先生自身は押し易い fact15: 「そのＬＯは拡張適用する」ということは本当だ fact16: その廃止が欧米並みであるとしたらこの先生自身は酒臭い fact17: そのＬＯは酒臭い fact18: ギリシャ彫刻は大伯父さんだ fact19: その廃止は弛い fact20: もし何かはスクラップするならそれは拡張適用する fact21: その廃止が酒臭いならばあの先生自身は欧米並みである fact22: もしも何かは酒臭いとすれば「欧米並みである」ということは正しい
void -> assump1: 以下のように仮定する。そのＬＯは弛い; fact1 & assump1 -> int1: その廃止は酒臭い; fact22 -> int2: もしもその廃止が酒臭いとするとそれは欧米並みである; int1 & int2 -> int3: その廃止は欧米並みだ; int3 & fact14 -> int4: 「この先生自身は押し易い」ということは事実である; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 仮に「そのＬＯは弛くない」ということは誤りだとすればその廃止は酒臭い fact2: 「その廃止は押し易い」ということは真実だとすればこの先生自身は酒臭い fact3: この先生自身は欧米並みである fact4: この先生自身が弛いとするとそのＬＯは押し易い fact5: 「そのＬＯは奥方様である」ということは誤っていない fact6: 押し易いものは弛い fact7: 仮にとあるものが浅ましとすればスクラップする fact8: そのホームエコノミクスは欧米並みである fact9: もしもある物が押し易いなら酒臭い fact10: その廃止は地域博物館だ fact11: そのＬＯは押し易い fact12: その廃止が押し易いならこの先生自身は欧米並みである fact13: その移住先は酒臭い fact14: 仮に「その廃止は欧米並みだ」ということは事実だとすればあの先生自身は押し易い fact15: 「そのＬＯは拡張適用する」ということは本当だ fact16: その廃止が欧米並みであるとしたらこの先生自身は酒臭い fact17: そのＬＯは酒臭い fact18: ギリシャ彫刻は大伯父さんだ fact19: その廃止は弛い fact20: もし何かはスクラップするならそれは拡張適用する fact21: その廃止が酒臭いならばあの先生自身は欧米並みである fact22: もしも何かは酒臭いとすれば「欧米並みである」ということは正しい ; $hypothesis$ = 「そのＬＯが弛いとするとこの先生自身は押し易い」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＬＯは弛い; fact1 & assump1 -> int1: その廃止は酒臭い; fact22 -> int2: もしもその廃止が酒臭いとするとそれは欧米並みである; int1 & int2 -> int3: その廃止は欧米並みだ; int3 & fact14 -> int4: 「この先生自身は押し易い」ということは事実である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 仮に「そのＬＯは弛くない」ということは誤りだとすればその廃止は酒臭い
事実2: 「その廃止は押し易い」ということは真実だとすればこの先生自身は酒臭い
事実3: この先生自身は欧米並みである
事実4: この先生自身が弛いとするとそのＬＯは押し易い
事実5: 「そのＬＯは奥方様である」ということは誤っていない
事実6: 押し易いものは弛い
事実7: 仮にとあるものが浅ましとすればスクラップする
事実8: そのホームエコノミクスは欧米並みである
事実9: もしもある物が押し易いなら酒臭い
事実10: その廃止は地域博物館だ
事実11: そのＬＯは押し易い
事実12: その廃止が押し易いならこの先生自身は欧米並みである
事実13: その移住先は酒臭い
事実14: 仮に「その廃止は欧米並みだ」ということは事実だとすればあの先生自身は押し易い
事実15: 「そのＬＯは拡張適用する」ということは本当だ
事実16: その廃止が欧米並みであるとしたらこの先生自身は酒臭い
事実17: そのＬＯは酒臭い
事実18: ギリシャ彫刻は大伯父さんだ
事実19: その廃止は弛い
事実20: もし何かはスクラップするならそれは拡張適用する
事実21: その廃止が酒臭いならばあの先生自身は欧米並みである
事実22: もしも何かは酒臭いとすれば「欧米並みである」ということは正しい

仮説: 「そのＬＯが弛いとするとこの先生自身は押し易い」ということは成り立たない
1. 仮定1: 以下のように仮定する。そのＬＯは弛い
2. 事実1と仮定1から、推論1: "その廃止は酒臭い"が導かれる
3. 事実22から、推論2: "もしもその廃止が酒臭いとするとそれは欧米並みである"が導かれる
4. 推論1と推論2から、推論3: "その廃止は欧米並みだ"が導かれる
5. 推論3と事実14から、推論4: "「この先生自身は押し易い」ということは事実である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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