あの摺り下ろしはやばいということはない
fact1: もしもその社会的経験が罵り合いならば仲直り出来る fact2: その決まり手は十二モデルである fact3: 「「やばくて十二モデルだ」ということは本当でない」物はある fact4: もし仮にこの閉幕が区別し易いとするとその社会的経験は交渉経験だ fact5: その決まり手はロッド部分であるしそれに十二モデルである fact6: あの摺り下ろしは十二モデルだということはない fact7: もしその社会的経験が交渉経験だし決め難いならその決まり手は決め難くない fact8: その決まり手は乗り損なうしそれにそれは十二モデルだ fact9: あの認証ビジネスは十二モデルであるということはない fact10: 決め難いということはないものは釈するか着易い fact11: その決まり手は決め難くてまた名状し難い fact12: 「あの摺り下ろしは決め難い」ということは本当である fact13: もし「「決め難くてかつ釈する」ということは事実と異なる」物があるとするとあの摺り下ろしはやばいということはない fact14: もし仮に「その決まり手はロッド部分であるしさらにそれは十二モデルだ」ということは誤りでないとするとそれは着易くない fact15: もしもその決まり手は着易くないならば「その社会的経験は決め難くてさらに釈する」ということは成り立たない fact16: 「あの摺り下ろしがやばいしそれがロッド部分ならあの摺り下ろしは着易いということはない」ということは正しい fact17: もしもこの閉幕はスチュワードだとすると「区別し易い」ということは成り立つ fact18: もしも何かは仲直り出来るならそれは決め難い
fact14 & fact5 -> int1: その決まり手は着易くない; int1 & fact15 -> int2: 「その社会的経験は決め難くて釈する」ということは成り立たない; int2 -> int3: 「「決め難くてまた釈する」ということは嘘である」ものはある; int3 & fact13 -> hypothesis;
あの摺り下ろしはやばい
fact19 -> int4: 仮にその決まり手が決め難くないとすれば釈するか着易いかどちらもである; fact24 -> int5: 仮にその社会的経験が仲直り出来るならそれは決め難い;
$facts$ = fact1: もしもその社会的経験が罵り合いならば仲直り出来る fact2: その決まり手は十二モデルである fact3: 「「やばくて十二モデルだ」ということは本当でない」物はある fact4: もし仮にこの閉幕が区別し易いとするとその社会的経験は交渉経験だ fact5: その決まり手はロッド部分であるしそれに十二モデルである fact6: あの摺り下ろしは十二モデルだということはない fact7: もしその社会的経験が交渉経験だし決め難いならその決まり手は決め難くない fact8: その決まり手は乗り損なうしそれにそれは十二モデルだ fact9: あの認証ビジネスは十二モデルであるということはない fact10: 決め難いということはないものは釈するか着易い fact11: その決まり手は決め難くてまた名状し難い fact12: 「あの摺り下ろしは決め難い」ということは本当である fact13: もし「「決め難くてかつ釈する」ということは事実と異なる」物があるとするとあの摺り下ろしはやばいということはない fact14: もし仮に「その決まり手はロッド部分であるしさらにそれは十二モデルだ」ということは誤りでないとするとそれは着易くない fact15: もしもその決まり手は着易くないならば「その社会的経験は決め難くてさらに釈する」ということは成り立たない fact16: 「あの摺り下ろしがやばいしそれがロッド部分ならあの摺り下ろしは着易いということはない」ということは正しい fact17: もしもこの閉幕はスチュワードだとすると「区別し易い」ということは成り立つ fact18: もしも何かは仲直り出来るならそれは決め難い ; $hypothesis$ = あの摺り下ろしはやばいということはない ; $proof$ = 
fact14 & fact5 -> int1: その決まり手は着易くない; int1 & fact15 -> int2: 「その社会的経験は決め難くて釈する」ということは成り立たない; int2 -> int3: 「「決め難くてまた釈する」ということは嘘である」ものはある; int3 & fact13 -> hypothesis; __PROVED__
事実1: もしもその社会的経験が罵り合いならば仲直り出来る
事実2: その決まり手は十二モデルである
事実3: 「「やばくて十二モデルだ」ということは本当でない」物はある
事実4: もし仮にこの閉幕が区別し易いとするとその社会的経験は交渉経験だ
事実5: その決まり手はロッド部分であるしそれに十二モデルである
事実6: あの摺り下ろしは十二モデルだということはない
事実7: もしその社会的経験が交渉経験だし決め難いならその決まり手は決め難くない
事実8: その決まり手は乗り損なうしそれにそれは十二モデルだ
事実9: あの認証ビジネスは十二モデルであるということはない
事実10: 決め難いということはないものは釈するか着易い
事実11: その決まり手は決め難くてまた名状し難い
事実12: 「あの摺り下ろしは決め難い」ということは本当である
事実13: もし「「決め難くてかつ釈する」ということは事実と異なる」物があるとするとあの摺り下ろしはやばいということはない
事実14: もし仮に「その決まり手はロッド部分であるしさらにそれは十二モデルだ」ということは誤りでないとするとそれは着易くない
事実15: もしもその決まり手は着易くないならば「その社会的経験は決め難くてさらに釈する」ということは成り立たない
事実16: 「あの摺り下ろしがやばいしそれがロッド部分ならあの摺り下ろしは着易いということはない」ということは正しい
事実17: もしもこの閉幕はスチュワードだとすると「区別し易い」ということは成り立つ
事実18: もしも何かは仲直り出来るならそれは決め難い

仮説: あの摺り下ろしはやばいということはない
1. 事実14と事実5から、推論1: "その決まり手は着易くない"が導かれる
2. 推論1と事実15から、推論2: "「その社会的経験は決め難くて釈する」ということは成り立たない"が導かれる
3. 推論2から、推論3: "「「決め難くてまた釈する」ということは嘘である」ものはある"が導かれる
4. 推論3と事実13から、仮説が導かれる

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