「何らかのものは増え始めるし更に第二十二飛行隊である」ということは誤りである
fact1: 「仮にその両頬は第二十二飛行隊であるとしたら「この決算関係書類は第二十二飛行隊だ」ということは真実だ」ということは事実である fact2: 仮になんらかの物が青いならば増え始める fact3: もしもその量り売りが人間性だとすればこの決算関係書類はシャトルバスである fact4: シャトルバスはじたばたする fact5: その量り売りはじたばたする fact6: 「焦れったい」物があればその量り売りは人間性であるかまたはそれは近し fact7: 「焦れったい」ものはある fact8: 「その量り売りは近し」ということは成り立つならこの決算関係書類はシャトルバスである fact9: この決算関係書類が近しとしたら青い fact10: その両頬は第二十二飛行隊であるかセットポイントである fact11: 「このマクロライド系はじたばたする」ということは事実だ fact12: もしこの決算関係書類はじたばたすれば「青い」ということは成り立つ fact13: あの一上肢は第二十二飛行隊である fact14: その量り売りは第二十二飛行隊だ fact15: その両頬が青いとするとそれは第二十二飛行隊である fact16: もしもその欠神発作が悶絶すれば漏れる fact17: もしもその量り売りが人間性ならそれは第二十二飛行隊である fact18: その量り売りは活躍する fact19: もしこの決算関係書類が近しとすればそれは第二十二飛行隊である fact20: あるものは人間性である fact21: もしも「青い」ものがあるとしたらその量り売りはじたばたするかもしくはそれは近しかまたはどちらもだ fact22: もしもこの決算関係書類が近しとしたらその量り売りは青い fact23: もしもある物が押し頂けばそれは逃げ捲る fact24: 「セットポイントである」ものはある fact25: もしもその両頬がセットポイントであるならこの決算関係書類は第二十二飛行隊である fact26: もしこの決算関係書類がじたばたするならばあの両頬はじたばたする fact27: その両頬がセットポイントだとすると増え始める
fact7 & fact6 -> int1: その量り売りは人間性であるかまたは近しか両方である; int1 & fact3 & fact8 -> int2: この決算関係書類はシャトルバスだ; fact4 -> int3: 仮にこの決算関係書類はシャトルバスならば「それはじたばたする」ということは事実である; int2 & int3 -> int4: この決算関係書類はじたばたする; int4 & fact12 -> int5: この決算関係書類は青い; fact2 -> int6: もしもこの決算関係書類が青いならば増え始める; int5 & int6 -> int7: この決算関係書類は増え始める; fact25 & fact10 & fact1 -> int8: 「この決算関係書類は第二十二飛行隊である」ということは成り立つ; int7 & int8 -> int9: この決算関係書類は増え始めるしおまけに第二十二飛行隊だ; int9 -> hypothesis;
$facts$ = fact1: 「仮にその両頬は第二十二飛行隊であるとしたら「この決算関係書類は第二十二飛行隊だ」ということは真実だ」ということは事実である fact2: 仮になんらかの物が青いならば増え始める fact3: もしもその量り売りが人間性だとすればこの決算関係書類はシャトルバスである fact4: シャトルバスはじたばたする fact5: その量り売りはじたばたする fact6: 「焦れったい」物があればその量り売りは人間性であるかまたはそれは近し fact7: 「焦れったい」ものはある fact8: 「その量り売りは近し」ということは成り立つならこの決算関係書類はシャトルバスである fact9: この決算関係書類が近しとしたら青い fact10: その両頬は第二十二飛行隊であるかセットポイントである fact11: 「このマクロライド系はじたばたする」ということは事実だ fact12: もしこの決算関係書類はじたばたすれば「青い」ということは成り立つ fact13: あの一上肢は第二十二飛行隊である fact14: その量り売りは第二十二飛行隊だ fact15: その両頬が青いとするとそれは第二十二飛行隊である fact16: もしもその欠神発作が悶絶すれば漏れる fact17: もしもその量り売りが人間性ならそれは第二十二飛行隊である fact18: その量り売りは活躍する fact19: もしこの決算関係書類が近しとすればそれは第二十二飛行隊である fact20: あるものは人間性である fact21: もしも「青い」ものがあるとしたらその量り売りはじたばたするかもしくはそれは近しかまたはどちらもだ fact22: もしもこの決算関係書類が近しとしたらその量り売りは青い fact23: もしもある物が押し頂けばそれは逃げ捲る fact24: 「セットポイントである」ものはある fact25: もしもその両頬がセットポイントであるならこの決算関係書類は第二十二飛行隊である fact26: もしこの決算関係書類がじたばたするならばあの両頬はじたばたする fact27: その両頬がセットポイントだとすると増え始める ; $hypothesis$ = 「何らかのものは増え始めるし更に第二十二飛行隊である」ということは誤りである ; $proof$ = 
fact7 & fact6 -> int1: その量り売りは人間性であるかまたは近しか両方である; int1 & fact3 & fact8 -> int2: この決算関係書類はシャトルバスだ; fact4 -> int3: 仮にこの決算関係書類はシャトルバスならば「それはじたばたする」ということは事実である; int2 & int3 -> int4: この決算関係書類はじたばたする; int4 & fact12 -> int5: この決算関係書類は青い; fact2 -> int6: もしもこの決算関係書類が青いならば増え始める; int5 & int6 -> int7: この決算関係書類は増え始める; fact25 & fact10 & fact1 -> int8: 「この決算関係書類は第二十二飛行隊である」ということは成り立つ; int7 & int8 -> int9: この決算関係書類は増え始めるしおまけに第二十二飛行隊だ; int9 -> hypothesis; __DISPROVED__
事実1: 「仮にその両頬は第二十二飛行隊であるとしたら「この決算関係書類は第二十二飛行隊だ」ということは真実だ」ということは事実である
事実2: 仮になんらかの物が青いならば増え始める
事実3: もしもその量り売りが人間性だとすればこの決算関係書類はシャトルバスである
事実4: シャトルバスはじたばたする
事実5: その量り売りはじたばたする
事実6: 「焦れったい」物があればその量り売りは人間性であるかまたはそれは近し
事実7: 「焦れったい」ものはある
事実8: 「その量り売りは近し」ということは成り立つならこの決算関係書類はシャトルバスである
事実9: この決算関係書類が近しとしたら青い
事実10: その両頬は第二十二飛行隊であるかセットポイントである
事実11: 「このマクロライド系はじたばたする」ということは事実だ
事実12: もしこの決算関係書類はじたばたすれば「青い」ということは成り立つ
事実13: あの一上肢は第二十二飛行隊である
事実14: その量り売りは第二十二飛行隊だ
事実15: その両頬が青いとするとそれは第二十二飛行隊である
事実16: もしもその欠神発作が悶絶すれば漏れる
事実17: もしもその量り売りが人間性ならそれは第二十二飛行隊である
事実18: その量り売りは活躍する
事実19: もしこの決算関係書類が近しとすればそれは第二十二飛行隊である
事実20: あるものは人間性である
事実21: もしも「青い」ものがあるとしたらその量り売りはじたばたするかもしくはそれは近しかまたはどちらもだ
事実22: もしもこの決算関係書類が近しとしたらその量り売りは青い
事実23: もしもある物が押し頂けばそれは逃げ捲る
事実24: 「セットポイントである」ものはある
事実25: もしもその両頬がセットポイントであるならこの決算関係書類は第二十二飛行隊である
事実26: もしこの決算関係書類がじたばたするならばあの両頬はじたばたする
事実27: その両頬がセットポイントだとすると増え始める

仮説: 「何らかのものは増え始めるし更に第二十二飛行隊である」ということは誤りである
1. 事実7と事実6から、推論1: "その量り売りは人間性であるかまたは近しか両方である"が導かれる
2. 推論1と事実3と事実8から、推論2: "この決算関係書類はシャトルバスだ"が導かれる
3. 事実4から、推論3: "仮にこの決算関係書類はシャトルバスならば「それはじたばたする」ということは事実である"が導かれる
4. 推論2と推論3から、推論4: "この決算関係書類はじたばたする"が導かれる
5. 推論4と事実12から、推論5: "この決算関係書類は青い"が導かれる
6. 事実2から、推論6: "もしもこの決算関係書類が青いならば増え始める"が導かれる
7. 推論5と推論6から、推論7: "この決算関係書類は増え始める"が導かれる
8. 事実25と事実10と事実1から、推論8: "「この決算関係書類は第二十二飛行隊である」ということは成り立つ"が導かれる
9. 推論7と推論8から、推論9: "この決算関係書類は増え始めるしおまけに第二十二飛行隊だ"が導かれる
10. 推論9から、仮説が否定される

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