あの予算制度はコミュニストである
fact1: もし仮にこの日本女性史が遅れ易いとすればこの求職者は遅れ易くないか戦時公債でないかまたはどちらもだ fact2: 飲み易い物はコミュニストである fact3: この日本女性史は打ち続くということはないかもしくはコミュニストでないかあるいは両方である fact4: もし仮に「「この日本女性史は編制しないか打ち続くかまたは両方だ」ということは成り立つということはない」ということは確かであるならば遅れ易い fact5: もしもこの求職者が戦時公債でないとするとあの予算制度は飲み易い fact6: もしも「この日本女性史は編制しないかあるいは打ち続かない」ということは成り立たないならそれは遅れ易い fact7: 仮に「この日本女性史は遅れ易い」ということは確かならこの求職者は遅れ易くないか戦時公債であるかあるいはどちらもである fact8: 「この日本女性史は戦時公債でないか出現し易くないかまたは両方ともだ」ということは成り立たない fact9: この求職者は遅れ易くないかそれは戦時公債であるかもしくは両方ともだ fact10: この日本女性史は打ち続く fact11: ぎこちないものは人間臭い fact12: もしも飲み易くない物が遅れ易いならコミュニストでない fact13: 「この日本女性史は編制するということはないかあるいはそれは打ち続かない」ということは本当であるということはない fact14: もしこの求職者が遅れ易くないかあるいは戦時公債でないか両方だとしたらあの予算制度は飲み易い
fact6 & fact13 -> int1: この日本女性史は遅れ易い; int1 & fact1 -> int2: この求職者は遅れ易くないかあるいは戦時公債だということはないかあるいはどちらもである; int2 & fact14 -> int3: あの予算制度は飲み易い; fact2 -> int4: 仮にあの予算制度が飲み易いとすればコミュニストだ; int3 & int4 -> hypothesis;
あの予算制度はコミュニストだということはない
fact15 -> int5: もし仮にあの予算制度は飲み易くないけど遅れ易いとしたらコミュニストだということはない;
$facts$ = fact1: もし仮にこの日本女性史が遅れ易いとすればこの求職者は遅れ易くないか戦時公債でないかまたはどちらもだ fact2: 飲み易い物はコミュニストである fact3: この日本女性史は打ち続くということはないかもしくはコミュニストでないかあるいは両方である fact4: もし仮に「「この日本女性史は編制しないか打ち続くかまたは両方だ」ということは成り立つということはない」ということは確かであるならば遅れ易い fact5: もしもこの求職者が戦時公債でないとするとあの予算制度は飲み易い fact6: もしも「この日本女性史は編制しないかあるいは打ち続かない」ということは成り立たないならそれは遅れ易い fact7: 仮に「この日本女性史は遅れ易い」ということは確かならこの求職者は遅れ易くないか戦時公債であるかあるいはどちらもである fact8: 「この日本女性史は戦時公債でないか出現し易くないかまたは両方ともだ」ということは成り立たない fact9: この求職者は遅れ易くないかそれは戦時公債であるかもしくは両方ともだ fact10: この日本女性史は打ち続く fact11: ぎこちないものは人間臭い fact12: もしも飲み易くない物が遅れ易いならコミュニストでない fact13: 「この日本女性史は編制するということはないかあるいはそれは打ち続かない」ということは本当であるということはない fact14: もしこの求職者が遅れ易くないかあるいは戦時公債でないか両方だとしたらあの予算制度は飲み易い ; $hypothesis$ = あの予算制度はコミュニストである ; $proof$ = 
fact6 & fact13 -> int1: この日本女性史は遅れ易い; int1 & fact1 -> int2: この求職者は遅れ易くないかあるいは戦時公債だということはないかあるいはどちらもである; int2 & fact14 -> int3: あの予算制度は飲み易い; fact2 -> int4: 仮にあの予算制度が飲み易いとすればコミュニストだ; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮にこの日本女性史が遅れ易いとすればこの求職者は遅れ易くないか戦時公債でないかまたはどちらもだ
事実2: 飲み易い物はコミュニストである
事実3: この日本女性史は打ち続くということはないかもしくはコミュニストでないかあるいは両方である
事実4: もし仮に「「この日本女性史は編制しないか打ち続くかまたは両方だ」ということは成り立つということはない」ということは確かであるならば遅れ易い
事実5: もしもこの求職者が戦時公債でないとするとあの予算制度は飲み易い
事実6: もしも「この日本女性史は編制しないかあるいは打ち続かない」ということは成り立たないならそれは遅れ易い
事実7: 仮に「この日本女性史は遅れ易い」ということは確かならこの求職者は遅れ易くないか戦時公債であるかあるいはどちらもである
事実8: 「この日本女性史は戦時公債でないか出現し易くないかまたは両方ともだ」ということは成り立たない
事実9: この求職者は遅れ易くないかそれは戦時公債であるかもしくは両方ともだ
事実10: この日本女性史は打ち続く
事実11: ぎこちないものは人間臭い
事実12: もしも飲み易くない物が遅れ易いならコミュニストでない
事実13: 「この日本女性史は編制するということはないかあるいはそれは打ち続かない」ということは本当であるということはない
事実14: もしこの求職者が遅れ易くないかあるいは戦時公債でないか両方だとしたらあの予算制度は飲み易い

仮説: あの予算制度はコミュニストである
1. 事実6と事実13から、推論1: "この日本女性史は遅れ易い"が導かれる
2. 推論1と事実1から、推論2: "この求職者は遅れ易くないかあるいは戦時公債だということはないかあるいはどちらもである"が導かれる
3. 推論2と事実14から、推論3: "あの予算制度は飲み易い"が導かれる
4. 事実2から、推論4: "仮にあの予算制度が飲み易いとすればコミュニストだ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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