このフォーループは平面上である
fact1: もしそのロジスティクス・マネジメントが把握し難くないとするとこのレモン林は休業日でないかもしくはそれは授業するかまたはどちらもだ fact2: 「飲み難いし平面上でない」物はある fact3: なにかは平面上でないとしたら優しくてまた飲み難い fact4: もしもこのレモン林が飲み難いとするとこのフォーループは優しくないしまた平面上だということはない fact5: 炉跡は把握し難くない fact6: 「代用は平面上でない」ということは本当だ fact7: 仮に「この発電量は渡り終えるかあるいは傍系血族であるかまたは両方である」ということは誤っているとしたらそれは感慨深くない fact8: もし仮に太極は女工さんでないなら炉跡である fact9: 仮になにがしかの物が優しいけど飲み難いということはないならこのフォーループは平面上である fact10: もし把握し難くない物は休業日でないとしたら授業しない fact11: あの柔和は把握し難くない fact12: とあるものは平面上でかつ優しい fact13: その緊箍呪は優しいけれど飲み難くない fact14: この起動元が深いならあのＳ極は太極だ一方で女工さんでない fact15: 「あのＳ極は炉跡だ」ということは真実ならばあのロジスティクス・マネジメントは炉跡だ fact16: 何らかの物は飲み難くない fact17: 仮にこの発電量が感慨深いということはないならばこの起動元は深くて飽きっぽい fact18: とある物は現われ易くて比較出来る fact19: その緊箍呪は優しい fact20: もしもあるものが代用だとすると飲み難い fact21: もしも何かは授業しないならそれは代用だ
fact13 -> int1: 優しいしその上飲み難くない物はある; int1 & fact9 -> hypothesis;
このフォーループは平面上でない
fact29 -> int2: このレモン林は代用であるならばそれは飲み難い; fact26 -> int3: そのロジスティクス・マネジメントは炉跡であるならば「把握し難くない」ということは確かだ; fact22 -> int4: もし仮にあのＳ極が太極だけれどそれは女工さんでないとするとそれは炉跡だ;
$facts$ = fact1: もしそのロジスティクス・マネジメントが把握し難くないとするとこのレモン林は休業日でないかもしくはそれは授業するかまたはどちらもだ fact2: 「飲み難いし平面上でない」物はある fact3: なにかは平面上でないとしたら優しくてまた飲み難い fact4: もしもこのレモン林が飲み難いとするとこのフォーループは優しくないしまた平面上だということはない fact5: 炉跡は把握し難くない fact6: 「代用は平面上でない」ということは本当だ fact7: 仮に「この発電量は渡り終えるかあるいは傍系血族であるかまたは両方である」ということは誤っているとしたらそれは感慨深くない fact8: もし仮に太極は女工さんでないなら炉跡である fact9: 仮になにがしかの物が優しいけど飲み難いということはないならこのフォーループは平面上である fact10: もし把握し難くない物は休業日でないとしたら授業しない fact11: あの柔和は把握し難くない fact12: とあるものは平面上でかつ優しい fact13: その緊箍呪は優しいけれど飲み難くない fact14: この起動元が深いならあのＳ極は太極だ一方で女工さんでない fact15: 「あのＳ極は炉跡だ」ということは真実ならばあのロジスティクス・マネジメントは炉跡だ fact16: 何らかの物は飲み難くない fact17: 仮にこの発電量が感慨深いということはないならばこの起動元は深くて飽きっぽい fact18: とある物は現われ易くて比較出来る fact19: その緊箍呪は優しい fact20: もしもあるものが代用だとすると飲み難い fact21: もしも何かは授業しないならそれは代用だ ; $hypothesis$ = このフォーループは平面上である ; $proof$ = 
fact13 -> int1: 優しいしその上飲み難くない物はある; int1 & fact9 -> hypothesis; __PROVED__
事実1: もしそのロジスティクス・マネジメントが把握し難くないとするとこのレモン林は休業日でないかもしくはそれは授業するかまたはどちらもだ
事実2: 「飲み難いし平面上でない」物はある
事実3: なにかは平面上でないとしたら優しくてまた飲み難い
事実4: もしもこのレモン林が飲み難いとするとこのフォーループは優しくないしまた平面上だということはない
事実5: 炉跡は把握し難くない
事実6: 「代用は平面上でない」ということは本当だ
事実7: 仮に「この発電量は渡り終えるかあるいは傍系血族であるかまたは両方である」ということは誤っているとしたらそれは感慨深くない
事実8: もし仮に太極は女工さんでないなら炉跡である
事実9: 仮になにがしかの物が優しいけど飲み難いということはないならこのフォーループは平面上である
事実10: もし把握し難くない物は休業日でないとしたら授業しない
事実11: あの柔和は把握し難くない
事実12: とあるものは平面上でかつ優しい
事実13: その緊箍呪は優しいけれど飲み難くない
事実14: この起動元が深いならあのＳ極は太極だ一方で女工さんでない
事実15: 「あのＳ極は炉跡だ」ということは真実ならばあのロジスティクス・マネジメントは炉跡だ
事実16: 何らかの物は飲み難くない
事実17: 仮にこの発電量が感慨深いということはないならばこの起動元は深くて飽きっぽい
事実18: とある物は現われ易くて比較出来る
事実19: その緊箍呪は優しい
事実20: もしもあるものが代用だとすると飲み難い
事実21: もしも何かは授業しないならそれは代用だ

仮説: このフォーループは平面上である
1. 事実13から、推論1: "優しいしその上飲み難くない物はある"が導かれる
2. 推論1と事実9から、仮説が導かれる

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