「あのペアリングは上がり難くて労労じ」ということは事実だということはない
fact1: このおでんは上位ドメインでない fact2: もし仮に「そのハードストーンは上位ドメインでないし受託物担保特約でない」ということは嘘であるとすればあの同学は増悪因子でない fact3: 「「あの労働関係上は利潤動機でないしそれはマッサージ出来ない」ということは成り立つということはないとしたらその主任教授は収縮蛋白だ」ということは本当だ fact4: 仮にこのプロパンガスはオフセットでないとしたら「このおでんは堅苦しくないけど装填する」ということは事実と異なる fact5: もし仮にこの同学は増悪因子でないなら「あのペアリングは上がり難くておまけに労労じ」ということは真実でない fact6: あのペアリングは堅苦しい fact7: もしこのおでんが収縮蛋白だとしたらあの労働関係上は収縮蛋白でない fact8: もしもその主任教授が収縮蛋白であるし首謀者であるとしたらこのプロパンガスはオフセットでない fact9: もし仮に「このおでんは堅苦しくない一方で装填する」ということは誤りだとすればそのハードストーンは広まらない fact10: もし仮に何かは広まらないとすると「「それは上位ドメインでなくてそれに受託物担保特約でない」ということは成り立つ」ということは間違っている fact11: 「あの労働関係上は利潤動機でないしさらにマッサージ出来ない」ということは偽だ fact12: 「なにかはマッサージ出来るということはない」ということは事実なら「それは受託物担保特約でない一方で首謀者である」ということは成り立つということはない fact13: その主任教授は首謀者である fact14: もし仮にこのプロパンガスが増悪因子でマッサージ出来るならあの労働関係上はオフセットでない fact15: もし仮にあの労働関係上が収縮蛋白でないとすればあのペアリングは首謀者でないがしかし上がり難い fact16: このおでんが上位ドメインだということはないとすると広まるしかつ収縮蛋白だ
fact3 & fact11 -> int1: その主任教授は収縮蛋白だ; int1 & fact13 -> int2: その主任教授は収縮蛋白で首謀者だ; int2 & fact8 -> int3: このプロパンガスはオフセットでない; int3 & fact4 -> int4: 「このおでんは堅苦しくないがしかし装填する」ということは間違っている; int4 & fact9 -> int5: そのハードストーンは広まるということはない; fact10 -> int6: もしそのハードストーンは広まらないとすれば「上位ドメインでなくてそれは受託物担保特約でない」ということは成り立たない; int5 & int6 -> int7: 「そのハードストーンは上位ドメインでなくてそれは受託物担保特約でない」ということは間違っている; int7 & fact2 -> int8: この同学は増悪因子でない; int8 & fact5 -> hypothesis;
あのペアリングは上がり難くてそれにそれは労労じ
fact19 & fact17 -> int9: このおでんは広まるし収縮蛋白だ; int9 -> int10: このおでんは収縮蛋白である; fact18 & int10 -> int11: あの労働関係上は収縮蛋白でない; fact20 & int11 -> int12: あのペアリングは首謀者でないけど上がり難い; int12 -> int13: あのペアリングは上がり難い;
$facts$ = fact1: このおでんは上位ドメインでない fact2: もし仮に「そのハードストーンは上位ドメインでないし受託物担保特約でない」ということは嘘であるとすればあの同学は増悪因子でない fact3: 「「あの労働関係上は利潤動機でないしそれはマッサージ出来ない」ということは成り立つということはないとしたらその主任教授は収縮蛋白だ」ということは本当だ fact4: 仮にこのプロパンガスはオフセットでないとしたら「このおでんは堅苦しくないけど装填する」ということは事実と異なる fact5: もし仮にこの同学は増悪因子でないなら「あのペアリングは上がり難くておまけに労労じ」ということは真実でない fact6: あのペアリングは堅苦しい fact7: もしこのおでんが収縮蛋白だとしたらあの労働関係上は収縮蛋白でない fact8: もしもその主任教授が収縮蛋白であるし首謀者であるとしたらこのプロパンガスはオフセットでない fact9: もし仮に「このおでんは堅苦しくない一方で装填する」ということは誤りだとすればそのハードストーンは広まらない fact10: もし仮に何かは広まらないとすると「「それは上位ドメインでなくてそれに受託物担保特約でない」ということは成り立つ」ということは間違っている fact11: 「あの労働関係上は利潤動機でないしさらにマッサージ出来ない」ということは偽だ fact12: 「なにかはマッサージ出来るということはない」ということは事実なら「それは受託物担保特約でない一方で首謀者である」ということは成り立つということはない fact13: その主任教授は首謀者である fact14: もし仮にこのプロパンガスが増悪因子でマッサージ出来るならあの労働関係上はオフセットでない fact15: もし仮にあの労働関係上が収縮蛋白でないとすればあのペアリングは首謀者でないがしかし上がり難い fact16: このおでんが上位ドメインだということはないとすると広まるしかつ収縮蛋白だ ; $hypothesis$ = 「あのペアリングは上がり難くて労労じ」ということは事実だということはない ; $proof$ = 
fact3 & fact11 -> int1: その主任教授は収縮蛋白だ; int1 & fact13 -> int2: その主任教授は収縮蛋白で首謀者だ; int2 & fact8 -> int3: このプロパンガスはオフセットでない; int3 & fact4 -> int4: 「このおでんは堅苦しくないがしかし装填する」ということは間違っている; int4 & fact9 -> int5: そのハードストーンは広まるということはない; fact10 -> int6: もしそのハードストーンは広まらないとすれば「上位ドメインでなくてそれは受託物担保特約でない」ということは成り立たない; int5 & int6 -> int7: 「そのハードストーンは上位ドメインでなくてそれは受託物担保特約でない」ということは間違っている; int7 & fact2 -> int8: この同学は増悪因子でない; int8 & fact5 -> hypothesis; __PROVED__
事実1: このおでんは上位ドメインでない
事実2: もし仮に「そのハードストーンは上位ドメインでないし受託物担保特約でない」ということは嘘であるとすればあの同学は増悪因子でない
事実3: 「「あの労働関係上は利潤動機でないしそれはマッサージ出来ない」ということは成り立つということはないとしたらその主任教授は収縮蛋白だ」ということは本当だ
事実4: 仮にこのプロパンガスはオフセットでないとしたら「このおでんは堅苦しくないけど装填する」ということは事実と異なる
事実5: もし仮にこの同学は増悪因子でないなら「あのペアリングは上がり難くておまけに労労じ」ということは真実でない
事実6: あのペアリングは堅苦しい
事実7: もしこのおでんが収縮蛋白だとしたらあの労働関係上は収縮蛋白でない
事実8: もしもその主任教授が収縮蛋白であるし首謀者であるとしたらこのプロパンガスはオフセットでない
事実9: もし仮に「このおでんは堅苦しくない一方で装填する」ということは誤りだとすればそのハードストーンは広まらない
事実10: もし仮に何かは広まらないとすると「「それは上位ドメインでなくてそれに受託物担保特約でない」ということは成り立つ」ということは間違っている
事実11: 「あの労働関係上は利潤動機でないしさらにマッサージ出来ない」ということは偽だ
事実12: 「なにかはマッサージ出来るということはない」ということは事実なら「それは受託物担保特約でない一方で首謀者である」ということは成り立つということはない
事実13: その主任教授は首謀者である
事実14: もし仮にこのプロパンガスが増悪因子でマッサージ出来るならあの労働関係上はオフセットでない
事実15: もし仮にあの労働関係上が収縮蛋白でないとすればあのペアリングは首謀者でないがしかし上がり難い
事実16: このおでんが上位ドメインだということはないとすると広まるしかつ収縮蛋白だ

仮説: 「あのペアリングは上がり難くて労労じ」ということは事実だということはない
1. 事実3と事実11から、推論1: "その主任教授は収縮蛋白だ"が導かれる
2. 推論1と事実13から、推論2: "その主任教授は収縮蛋白で首謀者だ"が導かれる
3. 推論2と事実8から、推論3: "このプロパンガスはオフセットでない"が導かれる
4. 推論3と事実4から、推論4: "「このおでんは堅苦しくないがしかし装填する」ということは間違っている"が導かれる
5. 推論4と事実9から、推論5: "そのハードストーンは広まるということはない"が導かれる
6. 事実10から、推論6: "もしそのハードストーンは広まらないとすれば「上位ドメインでなくてそれは受託物担保特約でない」ということは成り立たない"が導かれる
7. 推論5と推論6から、推論7: "「そのハードストーンは上位ドメインでなくてそれは受託物担保特約でない」ということは間違っている"が導かれる
8. 推論7と事実2から、推論8: "この同学は増悪因子でない"が導かれる
9. 推論8と事実5から、仮説が導かれる

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