あの警備部長はトーションバーである
fact1: この各議院は高しかあるいは上げ難いかもしくはどちらもだ fact2: もしこのコールオプションが発生し易いならばその陰陽五行思想は発生し易い fact3: 厚ぼったくない物は発生し易くておまけに育ち難い fact4: この各議院は粉っぽいかまたはそれはトーションバーであるかもしくは両方である fact5: その陰陽五行思想がトーションバーだということはないとしたらあの警備部長は高しない fact6: もしもその陰陽五行思想は粉っぽいなら「「この各議院はトーションバーでなくてその上高しない」ということは正しい」ということは間違いである fact7: あらゆる物は万引きしない fact8: 発生し易い物は粉っぽくないかもしくはトーションバーでないかまたはどちらもである fact9: もし仮にとある物が隣り合わせるとするとあの睫は忘れ易いということはないけれど厚ぼったい fact10: もしもとあるものはめぼしいとしたら「「堪え難くないかあるいは山本周五郎著であるかまたは両方である」ということは本当だ」ということは間違いだ fact11: もしもなにかは万引きしないとしたら手酷くて隣り合わせる fact12: 仮にその陰陽五行思想は粉っぽくないとすると「あの警備部長は高しない」ということは事実である fact13: 何かは育ち難くないがそれは厚ぼったい fact14: もし仮にあの警備部長が因り難いということはないかあるいは捨て子であるかまたはどちらもだとすればこの各議院は粉っぽい fact15: もしなにがしかの物が発生し易くないけれど捨て子だとしたらこの各議院は因り難い fact16: もし「とあるものは因り難いということはないか捨て子であるか両方ともだ」ということは成り立つということはないならトーションバーだということはない fact17: あの警備部長は捨て子でない fact18: 仮にあの警備部長は高しないとすれば「この各議院は枠外プレミアムでないかあるいはそれは有り難しか両方である」ということは嘘だ fact19: もしもあの睫が忘れ易いということはないけれど厚ぼったいならばこのコールオプションは厚ぼったくない fact20: 仮にとある物は発生し易いとすると「高しないかそれは粉っぽいかあるいは両方だ」ということは偽だ fact21: 仮に育ち難くない物が厚ぼったいとしたらこの各議院は発生し易い
void -> assump1: 以下のように仮定する。あの警備部長は因り難くないか捨て子であるかあるいは両方ともだ; fact14 & assump1 -> int1: この各議院は粉っぽい; int1 -> int2: この各議院は高しということはないか粉っぽいか両方ともだ; fact13 & fact21 -> int3: この各議院は発生し易い; fact20 -> int4: もしもこの各議院は発生し易いならば「高しないかあるいはそれは粉っぽいかまたは両方ともである」ということは誤りだ; int3 & int4 -> int5: 「「この各議院は高しないかあるいはそれは粉っぽいかまたは両方だ」ということは成り立つ」ということは間違いである; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの警備部長は因り難くないかあるいは捨て子であるかあるいは両方だ」ということは成り立つということはない; fact16 -> int8: もし仮に「あの警備部長は因り難くないかあるいは捨て子であるかまたはどちらもである」ということは事実と異なるとしたらトーションバーでない; int7 & int8 -> hypothesis;
あの警備部長はトーションバーである
$facts$ = fact1: この各議院は高しかあるいは上げ難いかもしくはどちらもだ fact2: もしこのコールオプションが発生し易いならばその陰陽五行思想は発生し易い fact3: 厚ぼったくない物は発生し易くておまけに育ち難い fact4: この各議院は粉っぽいかまたはそれはトーションバーであるかもしくは両方である fact5: その陰陽五行思想がトーションバーだということはないとしたらあの警備部長は高しない fact6: もしもその陰陽五行思想は粉っぽいなら「「この各議院はトーションバーでなくてその上高しない」ということは正しい」ということは間違いである fact7: あらゆる物は万引きしない fact8: 発生し易い物は粉っぽくないかもしくはトーションバーでないかまたはどちらもである fact9: もし仮にとある物が隣り合わせるとするとあの睫は忘れ易いということはないけれど厚ぼったい fact10: もしもとあるものはめぼしいとしたら「「堪え難くないかあるいは山本周五郎著であるかまたは両方である」ということは本当だ」ということは間違いだ fact11: もしもなにかは万引きしないとしたら手酷くて隣り合わせる fact12: 仮にその陰陽五行思想は粉っぽくないとすると「あの警備部長は高しない」ということは事実である fact13: 何かは育ち難くないがそれは厚ぼったい fact14: もし仮にあの警備部長が因り難いということはないかあるいは捨て子であるかまたはどちらもだとすればこの各議院は粉っぽい fact15: もしなにがしかの物が発生し易くないけれど捨て子だとしたらこの各議院は因り難い fact16: もし「とあるものは因り難いということはないか捨て子であるか両方ともだ」ということは成り立つということはないならトーションバーだということはない fact17: あの警備部長は捨て子でない fact18: 仮にあの警備部長は高しないとすれば「この各議院は枠外プレミアムでないかあるいはそれは有り難しか両方である」ということは嘘だ fact19: もしもあの睫が忘れ易いということはないけれど厚ぼったいならばこのコールオプションは厚ぼったくない fact20: 仮にとある物は発生し易いとすると「高しないかそれは粉っぽいかあるいは両方だ」ということは偽だ fact21: 仮に育ち難くない物が厚ぼったいとしたらこの各議院は発生し易い ; $hypothesis$ = あの警備部長はトーションバーである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの警備部長は因り難くないか捨て子であるかあるいは両方ともだ; fact14 & assump1 -> int1: この各議院は粉っぽい; int1 -> int2: この各議院は高しということはないか粉っぽいか両方ともだ; fact13 & fact21 -> int3: この各議院は発生し易い; fact20 -> int4: もしもこの各議院は発生し易いならば「高しないかあるいはそれは粉っぽいかまたは両方ともである」ということは誤りだ; int3 & int4 -> int5: 「「この各議院は高しないかあるいはそれは粉っぽいかまたは両方だ」ということは成り立つ」ということは間違いである; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの警備部長は因り難くないかあるいは捨て子であるかあるいは両方だ」ということは成り立つということはない; fact16 -> int8: もし仮に「あの警備部長は因り難くないかあるいは捨て子であるかまたはどちらもである」ということは事実と異なるとしたらトーションバーでない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: この各議院は高しかあるいは上げ難いかもしくはどちらもだ
事実2: もしこのコールオプションが発生し易いならばその陰陽五行思想は発生し易い
事実3: 厚ぼったくない物は発生し易くておまけに育ち難い
事実4: この各議院は粉っぽいかまたはそれはトーションバーであるかもしくは両方である
事実5: その陰陽五行思想がトーションバーだということはないとしたらあの警備部長は高しない
事実6: もしもその陰陽五行思想は粉っぽいなら「「この各議院はトーションバーでなくてその上高しない」ということは正しい」ということは間違いである
事実7: あらゆる物は万引きしない
事実8: 発生し易い物は粉っぽくないかもしくはトーションバーでないかまたはどちらもである
事実9: もし仮にとある物が隣り合わせるとするとあの睫は忘れ易いということはないけれど厚ぼったい
事実10: もしもとあるものはめぼしいとしたら「「堪え難くないかあるいは山本周五郎著であるかまたは両方である」ということは本当だ」ということは間違いだ
事実11: もしもなにかは万引きしないとしたら手酷くて隣り合わせる
事実12: 仮にその陰陽五行思想は粉っぽくないとすると「あの警備部長は高しない」ということは事実である
事実13: 何かは育ち難くないがそれは厚ぼったい
事実14: もし仮にあの警備部長が因り難いということはないかあるいは捨て子であるかまたはどちらもだとすればこの各議院は粉っぽい
事実15: もしなにがしかの物が発生し易くないけれど捨て子だとしたらこの各議院は因り難い
事実16: もし「とあるものは因り難いということはないか捨て子であるか両方ともだ」ということは成り立つということはないならトーションバーだということはない
事実17: あの警備部長は捨て子でない
事実18: 仮にあの警備部長は高しないとすれば「この各議院は枠外プレミアムでないかあるいはそれは有り難しか両方である」ということは嘘だ
事実19: もしもあの睫が忘れ易いということはないけれど厚ぼったいならばこのコールオプションは厚ぼったくない
事実20: 仮にとある物は発生し易いとすると「高しないかそれは粉っぽいかあるいは両方だ」ということは偽だ
事実21: 仮に育ち難くない物が厚ぼったいとしたらこの各議院は発生し易い

仮説: あの警備部長はトーションバーである
1. 仮定1: 以下のように仮定する。あの警備部長は因り難くないか捨て子であるかあるいは両方ともだ
2. 事実14と仮定1から、推論1: "この各議院は粉っぽい"が導かれる
3. 推論1から、推論2: "この各議院は高しということはないか粉っぽいか両方ともだ"が導かれる
4. 事実13と事実21から、推論3: "この各議院は発生し易い"が導かれる
5. 事実20から、推論4: "もしもこの各議院は発生し易いならば「高しないかあるいはそれは粉っぽいかまたは両方ともである」ということは誤りだ"が導かれる
6. 推論3と推論4から、推論5: "「「この各議院は高しないかあるいはそれは粉っぽいかまたは両方だ」ということは成り立つ」ということは間違いである"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「あの警備部長は因り難くないかあるいは捨て子であるかあるいは両方だ」ということは成り立つということはない"が導かれる
9. 事実16から、推論8: "もし仮に「あの警備部長は因り難くないかあるいは捨て子であるかまたはどちらもである」ということは事実と異なるとしたらトーションバーでない"が導かれる
10. 推論7と推論8から、仮説が否定される

よって、仮説が否定されました。