そのアルコール燃料は罷り通る
fact1: この媒介手段は取得し易い fact2: あの予算委員会が鋳造するということはないとすればその盾方は取得し易くてリベラル・アーツ・カレッジである fact3: もし「そのアルコール燃料は潔しない」ということは成り立つとすれば「あの予算委員会は潔しし加えて罷り通る」ということは真実でない fact4: 仮に「この七項目は取得し易いがリベラル・アーツ・カレッジでない」ということは成り立たないならこの媒介手段は鋳造する fact5: この七項目は取得し易いということはないとすれば「あの予算委員会は取得し易いし更にリベラル・アーツ・カレッジだ」ということは成り立たない fact6: 仮にこの七項目は取得し易くないならば「この媒介手段は鋳造する」ということは確かだ fact7: ある物は罷り通る fact8: 仮にあの予算委員会は取得し易くないとすると「この七項目は取得し易いがそれはリベラル・アーツ・カレッジでない」ということは本当でない fact9: もし仮に「「あの予算委員会は鋳造するが取得し易くない」ということは真実である」ということは成り立たないとすればあの媒介手段はリベラル・アーツ・カレッジである fact10: あの予算委員会は潔し fact11: 仮に「なにがしかのものはリベラル・アーツ・カレッジである」ということは事実であるとしたらこの七項目は罷り通る fact12: あの予算委員会は潔しが取得し易くない fact13: 「「鋳造するということはない」ということは成り立たない」ものがあればそのアルコール燃料は罷り通る fact14: 「あの予算委員会はリベラル・アーツ・カレッジだがしかしそれは取得し易くない」ということは偽である
fact12 -> int1: あの予算委員会は取得し易くない; int1 & fact8 -> int2: 「この七項目は取得し易いけれどリベラル・アーツ・カレッジでない」ということは成り立つということはない; int2 & fact4 -> int3: 「この媒介手段は鋳造する」ということは本当だ; int3 -> int4: 「鋳造する」ものはある; int4 & fact13 -> hypothesis;
その盾方は罷り通るということはない
$facts$ = fact1: この媒介手段は取得し易い fact2: あの予算委員会が鋳造するということはないとすればその盾方は取得し易くてリベラル・アーツ・カレッジである fact3: もし「そのアルコール燃料は潔しない」ということは成り立つとすれば「あの予算委員会は潔しし加えて罷り通る」ということは真実でない fact4: 仮に「この七項目は取得し易いがリベラル・アーツ・カレッジでない」ということは成り立たないならこの媒介手段は鋳造する fact5: この七項目は取得し易いということはないとすれば「あの予算委員会は取得し易いし更にリベラル・アーツ・カレッジだ」ということは成り立たない fact6: 仮にこの七項目は取得し易くないならば「この媒介手段は鋳造する」ということは確かだ fact7: ある物は罷り通る fact8: 仮にあの予算委員会は取得し易くないとすると「この七項目は取得し易いがそれはリベラル・アーツ・カレッジでない」ということは本当でない fact9: もし仮に「「あの予算委員会は鋳造するが取得し易くない」ということは真実である」ということは成り立たないとすればあの媒介手段はリベラル・アーツ・カレッジである fact10: あの予算委員会は潔し fact11: 仮に「なにがしかのものはリベラル・アーツ・カレッジである」ということは事実であるとしたらこの七項目は罷り通る fact12: あの予算委員会は潔しが取得し易くない fact13: 「「鋳造するということはない」ということは成り立たない」ものがあればそのアルコール燃料は罷り通る fact14: 「あの予算委員会はリベラル・アーツ・カレッジだがしかしそれは取得し易くない」ということは偽である ; $hypothesis$ = そのアルコール燃料は罷り通る ; $proof$ = 
fact12 -> int1: あの予算委員会は取得し易くない; int1 & fact8 -> int2: 「この七項目は取得し易いけれどリベラル・アーツ・カレッジでない」ということは成り立つということはない; int2 & fact4 -> int3: 「この媒介手段は鋳造する」ということは本当だ; int3 -> int4: 「鋳造する」ものはある; int4 & fact13 -> hypothesis; __PROVED__
事実1: この媒介手段は取得し易い
事実2: あの予算委員会が鋳造するということはないとすればその盾方は取得し易くてリベラル・アーツ・カレッジである
事実3: もし「そのアルコール燃料は潔しない」ということは成り立つとすれば「あの予算委員会は潔しし加えて罷り通る」ということは真実でない
事実4: 仮に「この七項目は取得し易いがリベラル・アーツ・カレッジでない」ということは成り立たないならこの媒介手段は鋳造する
事実5: この七項目は取得し易いということはないとすれば「あの予算委員会は取得し易いし更にリベラル・アーツ・カレッジだ」ということは成り立たない
事実6: 仮にこの七項目は取得し易くないならば「この媒介手段は鋳造する」ということは確かだ
事実7: ある物は罷り通る
事実8: 仮にあの予算委員会は取得し易くないとすると「この七項目は取得し易いがそれはリベラル・アーツ・カレッジでない」ということは本当でない
事実9: もし仮に「「あの予算委員会は鋳造するが取得し易くない」ということは真実である」ということは成り立たないとすればあの媒介手段はリベラル・アーツ・カレッジである
事実10: あの予算委員会は潔し
事実11: 仮に「なにがしかのものはリベラル・アーツ・カレッジである」ということは事実であるとしたらこの七項目は罷り通る
事実12: あの予算委員会は潔しが取得し易くない
事実13: 「「鋳造するということはない」ということは成り立たない」ものがあればそのアルコール燃料は罷り通る
事実14: 「あの予算委員会はリベラル・アーツ・カレッジだがしかしそれは取得し易くない」ということは偽である

仮説: そのアルコール燃料は罷り通る
1. 事実12から、推論1: "あの予算委員会は取得し易くない"が導かれる
2. 推論1と事実8から、推論2: "「この七項目は取得し易いけれどリベラル・アーツ・カレッジでない」ということは成り立つということはない"が導かれる
3. 推論2と事実4から、推論3: "「この媒介手段は鋳造する」ということは本当だ"が導かれる
4. 推論3から、推論4: "「鋳造する」ものはある"が導かれる
5. 推論4と事実13から、仮説が導かれる

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