もし仮にあの身の回りが小高いならばその長机は因り難いということはない
fact1: もしも「その長机は因り難い」ということは本当ならあの身の回りは小高くない fact2: 仮にあの身の回りが因り難いならばあの長机は小高い fact3: あの身の回りが小高いとするとその長机は因り難い fact4: 仮にあの蜂達は因り難いとしたら「この土生姜は小高くない」ということは事実だ fact5: もし仮に「「因り難くて理論モデルでない」ということは成り立たない」ものがあるならばあの長机は小高い fact6: 「その長机は小高い」ということは成り立つとするとあの身の回りは因り難い fact7: もしなにがしかのものは生活扶助費でないとすれば「「それは因り難いがしかし理論モデルでない」ということは誤っていない」ということは成り立たない fact8: 「その関係強化は参戦であるということはないけれど閉口する」ということは成り立たないとするとそれは参戦だ fact9: もしもあるものは貨物約款でないならば「それは出生するしそれに生活扶助費である」ということは誤っている fact10: あの身の回りが因り難いとすればその被調査企業は小高くない fact11: 「「人懐っこくないしさらに差し出さない」ということは間違いである」物はある fact12: 「「出生するしかつ生活扶助費だ」ということは成り立たない」ものがあるとしたらあの身の回りは生活扶助費でない fact13: その長机は小高い fact14: 仮にその長机が因り難いとすればあの身の回りは小高い fact15: 「ある物は懇談しないか反目するかどちらもである」ということは誤りだとしたらそれは貨物約款でない fact16: 仮にその長机が小高いとするとあの中学校時代は小高い fact17: 「「人懐っこくないし更に差し出さない」ということは事実と異なる」物があるとするとその関係強化は真ん丸くない fact18: 仮にとある物は真ん丸くないとすると「それは参戦でない一方で閉口する」ということは成り立つということはない fact19: もしその関係強化は参戦だとすると「この信行は懇談しないかまたはそれは反目する」ということは誤っている
void -> assump2: 以下のように仮定する。その長机は因り難い; fact1 & assump2 -> int1: あの身の回りは小高くない; void -> assump1: 以下のように仮定する。あの身の回りは小高い; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その長机は因り難くない; [assump1] & int3 -> hypothesis;
あの中学校時代は小高い
fact26 -> int4: もしあの身の回りは生活扶助費でないとすれば「それは因り難いがしかし理論モデルでない」ということは偽である; fact24 -> int5: もし仮に「この信行は貨物約款でない」ということは成り立つなら「出生するし生活扶助費だ」ということは間違いだ; fact25 -> int6: 「この信行は懇談しないか反目するかあるいは両方だ」ということは偽だとしたらそれは貨物約款でない; fact23 -> int7: 仮にその関係強化は真ん丸くないならば「それは参戦であるということはないけど閉口する」ということは嘘だ; fact20 & fact21 -> int8: その関係強化は真ん丸いということはない; int7 & int8 -> int9: 「その関係強化は参戦でないがそれは閉口する」ということは事実と異なる; fact28 & int9 -> int10: 「その関係強化は参戦だ」ということは成り立つ; fact30 & int10 -> int11: 「この信行は懇談しないかあるいはそれは反目する」ということは偽だ; int6 & int11 -> int12: 「この信行は貨物約款でない」ということは正しい; int5 & int12 -> int13: 「この信行は出生するし生活扶助費だ」ということは成り立たない; int13 -> int14: 「「出生するしかつ生活扶助費である」ということは嘘な」物はある; int14 & fact29 -> int15: あの身の回りは生活扶助費でない; int4 & int15 -> int16: 「あの身の回りは因り難い一方で理論モデルでない」ということは成り立たない; int16 -> int17: 「「因り難いがしかし理論モデルでない」ということは誤りな」物はある; int17 & fact27 -> int18: その長机は小高い; fact22 & int18 -> hypothesis;
$facts$ = fact1: もしも「その長机は因り難い」ということは本当ならあの身の回りは小高くない fact2: 仮にあの身の回りが因り難いならばあの長机は小高い fact3: あの身の回りが小高いとするとその長机は因り難い fact4: 仮にあの蜂達は因り難いとしたら「この土生姜は小高くない」ということは事実だ fact5: もし仮に「「因り難くて理論モデルでない」ということは成り立たない」ものがあるならばあの長机は小高い fact6: 「その長机は小高い」ということは成り立つとするとあの身の回りは因り難い fact7: もしなにがしかのものは生活扶助費でないとすれば「「それは因り難いがしかし理論モデルでない」ということは誤っていない」ということは成り立たない fact8: 「その関係強化は参戦であるということはないけれど閉口する」ということは成り立たないとするとそれは参戦だ fact9: もしもあるものは貨物約款でないならば「それは出生するしそれに生活扶助費である」ということは誤っている fact10: あの身の回りが因り難いとすればその被調査企業は小高くない fact11: 「「人懐っこくないしさらに差し出さない」ということは間違いである」物はある fact12: 「「出生するしかつ生活扶助費だ」ということは成り立たない」ものがあるとしたらあの身の回りは生活扶助費でない fact13: その長机は小高い fact14: 仮にその長机が因り難いとすればあの身の回りは小高い fact15: 「ある物は懇談しないか反目するかどちらもである」ということは誤りだとしたらそれは貨物約款でない fact16: 仮にその長机が小高いとするとあの中学校時代は小高い fact17: 「「人懐っこくないし更に差し出さない」ということは事実と異なる」物があるとするとその関係強化は真ん丸くない fact18: 仮にとある物は真ん丸くないとすると「それは参戦でない一方で閉口する」ということは成り立つということはない fact19: もしその関係強化は参戦だとすると「この信行は懇談しないかまたはそれは反目する」ということは誤っている ; $hypothesis$ = もし仮にあの身の回りが小高いならばその長机は因り難いということはない ; $proof$ = 
void -> assump2: 以下のように仮定する。その長机は因り難い; fact1 & assump2 -> int1: あの身の回りは小高くない; void -> assump1: 以下のように仮定する。あの身の回りは小高い; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その長机は因り難くない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしも「その長机は因り難い」ということは本当ならあの身の回りは小高くない
事実2: 仮にあの身の回りが因り難いならばあの長机は小高い
事実3: あの身の回りが小高いとするとその長机は因り難い
事実4: 仮にあの蜂達は因り難いとしたら「この土生姜は小高くない」ということは事実だ
事実5: もし仮に「「因り難くて理論モデルでない」ということは成り立たない」ものがあるならばあの長机は小高い
事実6: 「その長机は小高い」ということは成り立つとするとあの身の回りは因り難い
事実7: もしなにがしかのものは生活扶助費でないとすれば「「それは因り難いがしかし理論モデルでない」ということは誤っていない」ということは成り立たない
事実8: 「その関係強化は参戦であるということはないけれど閉口する」ということは成り立たないとするとそれは参戦だ
事実9: もしもあるものは貨物約款でないならば「それは出生するしそれに生活扶助費である」ということは誤っている
事実10: あの身の回りが因り難いとすればその被調査企業は小高くない
事実11: 「「人懐っこくないしさらに差し出さない」ということは間違いである」物はある
事実12: 「「出生するしかつ生活扶助費だ」ということは成り立たない」ものがあるとしたらあの身の回りは生活扶助費でない
事実13: その長机は小高い
事実14: 仮にその長机が因り難いとすればあの身の回りは小高い
事実15: 「ある物は懇談しないか反目するかどちらもである」ということは誤りだとしたらそれは貨物約款でない
事実16: 仮にその長机が小高いとするとあの中学校時代は小高い
事実17: 「「人懐っこくないし更に差し出さない」ということは事実と異なる」物があるとするとその関係強化は真ん丸くない
事実18: 仮にとある物は真ん丸くないとすると「それは参戦でない一方で閉口する」ということは成り立つということはない
事実19: もしその関係強化は参戦だとすると「この信行は懇談しないかまたはそれは反目する」ということは誤っている

仮説: もし仮にあの身の回りが小高いならばその長机は因り難いということはない
1. 仮定2: 以下のように仮定する。その長机は因り難い
2. 事実1と仮定2から、推論1: "あの身の回りは小高くない"が導かれる
3. 仮定1: 以下のように仮定する。あの身の回りは小高い
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "その長机は因り難くない"が導かれる
6. [仮定1]と推論3から、仮説が導かれる

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