「そのメシヤは青年社員であるということはない」ということは正しい
fact1: もしもあるものが摘まないとすると帰属すらないしそれは上がる fact2: もしもその待機中が気難しいけれどそれが予算総額であるということはないとすればその郵貯会社は摘むということはない fact3: 「「於けるないけれど会社勤めだ」ということは成り立つということはない」物はある fact4: 気難しくない物は予算総額でないかまたは摘むかまたは両方ともである fact5: もし仮に何かは世知辛くない一方で与し易いとすれば「その有機衛星同士は度し難い」ということは成り立つ fact6: 仮にあの防腐剤が面食らうしそれにゲートルだとすればその有機衛星同士は度し難くない fact7: もしとある物が面食らわないとすれば気難しいし予算総額でない fact8: もし仮にあの防腐剤がゲートルでないならそのメシヤは青年社員でない fact9: もし「その待機中は尊しかまたは双子座でない」ということは間違っているとすると「それは気難しくない」ということは誤っていない fact10: もしもその待機中が予算総額だということはないかそれが摘むとするとあの防腐剤は面食らう fact11: 「その待機中は尊しかもしくは双子座でないか両方ともである」ということは嘘だ fact12: 仮に「「於けるないけど会社勤めである」ということは成り立たない」物はあるとしたら「その注進は会社勤めでない」ということは本当だ fact13: 仮にあの防腐剤は世知辛いとすると「青年社員でないけど度し難い」ということは事実と異なる fact14: その注進が会社勤めでないならそれは世知辛くなくてしかもそれは与し易い fact15: あの防腐剤は世知辛い fact16: 度し難いということはないものはゲートルでなくて面食らわない
fact9 & fact11 -> int1: その待機中は気難しいということはない; fact4 -> int2: 仮にその待機中が気難しくないとしたらそれは予算総額でないか摘むかもしくは両方だ; int1 & int2 -> int3: その待機中は予算総額でないかまたは摘む; int3 & fact10 -> int4: あの防腐剤は面食らう; void -> assump1: 以下のように仮定する。あの防腐剤はゲートルである; int4 & assump1 -> int5: あの防腐剤は面食らうしゲートルである; int5 & fact6 -> int6: その有機衛星同士は度し難くない; fact3 & fact12 -> int7: その注進は会社勤めでない; int7 & fact14 -> int8: その注進は世知辛くないが与し易い; int8 -> int9: 世知辛くないしかつ与し易い物はある; int9 & fact5 -> int10: その有機衛星同士は度し難い; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> int12: あの防腐剤はゲートルでない; int12 & fact8 -> hypothesis;
「その郵貯会社は帰属すらない一方で上がる」ということは成り立つ
fact18 -> int13: もしもその郵貯会社が摘むということはないならば帰属すらないしそれにそれは上がる; fact20 -> int14: もしその待機中が面食らわないとすると気難しいがしかし予算総額でない; fact19 -> int15: もしその待機中は度し難くないならばゲートルでないしまた面食らわない; fact17 & fact21 -> int16: 「あの防腐剤は青年社員でないがしかしそれは度し難い」ということは間違っている; int16 -> int17: 「「青年社員でないが度し難い」ということは成り立たない」物はある;
$facts$ = fact1: もしもあるものが摘まないとすると帰属すらないしそれは上がる fact2: もしもその待機中が気難しいけれどそれが予算総額であるということはないとすればその郵貯会社は摘むということはない fact3: 「「於けるないけれど会社勤めだ」ということは成り立つということはない」物はある fact4: 気難しくない物は予算総額でないかまたは摘むかまたは両方ともである fact5: もし仮に何かは世知辛くない一方で与し易いとすれば「その有機衛星同士は度し難い」ということは成り立つ fact6: 仮にあの防腐剤が面食らうしそれにゲートルだとすればその有機衛星同士は度し難くない fact7: もしとある物が面食らわないとすれば気難しいし予算総額でない fact8: もし仮にあの防腐剤がゲートルでないならそのメシヤは青年社員でない fact9: もし「その待機中は尊しかまたは双子座でない」ということは間違っているとすると「それは気難しくない」ということは誤っていない fact10: もしもその待機中が予算総額だということはないかそれが摘むとするとあの防腐剤は面食らう fact11: 「その待機中は尊しかもしくは双子座でないか両方ともである」ということは嘘だ fact12: 仮に「「於けるないけど会社勤めである」ということは成り立たない」物はあるとしたら「その注進は会社勤めでない」ということは本当だ fact13: 仮にあの防腐剤は世知辛いとすると「青年社員でないけど度し難い」ということは事実と異なる fact14: その注進が会社勤めでないならそれは世知辛くなくてしかもそれは与し易い fact15: あの防腐剤は世知辛い fact16: 度し難いということはないものはゲートルでなくて面食らわない ; $hypothesis$ = 「そのメシヤは青年社員であるということはない」ということは正しい ; $proof$ = 
fact9 & fact11 -> int1: その待機中は気難しいということはない; fact4 -> int2: 仮にその待機中が気難しくないとしたらそれは予算総額でないか摘むかもしくは両方だ; int1 & int2 -> int3: その待機中は予算総額でないかまたは摘む; int3 & fact10 -> int4: あの防腐剤は面食らう; void -> assump1: 以下のように仮定する。あの防腐剤はゲートルである; int4 & assump1 -> int5: あの防腐剤は面食らうしゲートルである; int5 & fact6 -> int6: その有機衛星同士は度し難くない; fact3 & fact12 -> int7: その注進は会社勤めでない; int7 & fact14 -> int8: その注進は世知辛くないが与し易い; int8 -> int9: 世知辛くないしかつ与し易い物はある; int9 & fact5 -> int10: その有機衛星同士は度し難い; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> int12: あの防腐剤はゲートルでない; int12 & fact8 -> hypothesis; __PROVED__
事実1: もしもあるものが摘まないとすると帰属すらないしそれは上がる
事実2: もしもその待機中が気難しいけれどそれが予算総額であるということはないとすればその郵貯会社は摘むということはない
事実3: 「「於けるないけれど会社勤めだ」ということは成り立つということはない」物はある
事実4: 気難しくない物は予算総額でないかまたは摘むかまたは両方ともである
事実5: もし仮に何かは世知辛くない一方で与し易いとすれば「その有機衛星同士は度し難い」ということは成り立つ
事実6: 仮にあの防腐剤が面食らうしそれにゲートルだとすればその有機衛星同士は度し難くない
事実7: もしとある物が面食らわないとすれば気難しいし予算総額でない
事実8: もし仮にあの防腐剤がゲートルでないならそのメシヤは青年社員でない
事実9: もし「その待機中は尊しかまたは双子座でない」ということは間違っているとすると「それは気難しくない」ということは誤っていない
事実10: もしもその待機中が予算総額だということはないかそれが摘むとするとあの防腐剤は面食らう
事実11: 「その待機中は尊しかもしくは双子座でないか両方ともである」ということは嘘だ
事実12: 仮に「「於けるないけど会社勤めである」ということは成り立たない」物はあるとしたら「その注進は会社勤めでない」ということは本当だ
事実13: 仮にあの防腐剤は世知辛いとすると「青年社員でないけど度し難い」ということは事実と異なる
事実14: その注進が会社勤めでないならそれは世知辛くなくてしかもそれは与し易い
事実15: あの防腐剤は世知辛い
事実16: 度し難いということはないものはゲートルでなくて面食らわない

仮説: 「そのメシヤは青年社員であるということはない」ということは正しい
1. 事実9と事実11から、推論1: "その待機中は気難しいということはない"が導かれる
2. 事実4から、推論2: "仮にその待機中が気難しくないとしたらそれは予算総額でないか摘むかもしくは両方だ"が導かれる
3. 推論1と推論2から、推論3: "その待機中は予算総額でないかまたは摘む"が導かれる
4. 推論3と事実10から、推論4: "あの防腐剤は面食らう"が導かれる
5. 仮定1: 以下のように仮定する。あの防腐剤はゲートルである
6. 推論4と仮定1から、推論5: "あの防腐剤は面食らうしゲートルである"が導かれる
7. 推論5と事実6から、推論6: "その有機衛星同士は度し難くない"が導かれる
8. 事実3と事実12から、推論7: "その注進は会社勤めでない"が導かれる
9. 推論7と事実14から、推論8: "その注進は世知辛くないが与し易い"が導かれる
10. 推論8から、推論9: "世知辛くないしかつ与し易い物はある"が導かれる
11. 推論9と事実5から、推論10: "その有機衛星同士は度し難い"が導かれる
12. 推論6と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、推論12: "あの防腐剤はゲートルでない"が導かれる
14. 推論12と事実8から、仮説が導かれる

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