あの障害等級上は薄い
fact1: もしあの打球音が狙い易くないとすればそのスポイトツールはしょぼいかまたはそれはむしゃくしゃするかあるいは両方である fact2: もしあるものが手術棟なら薄い fact3: あの打球音は狙い易くない fact4: もしそのスポイトツールがつべたいならばあの同輩は生温かい fact5: その同輩が生温かいならあの障害等級上は手術棟だ fact6: もしもあの打球音はしょぼいとしたら「その同輩は薄くないかむしゃくしゃするかもしくはどちらもである」ということは成り立つということはない fact7: もし仮になんらかのものがむしゃくしゃすればそれはつべたい fact8: もしも「その同輩は薄くないかもしくはそれはむしゃくしゃする」ということは嘘だとすればあの障害等級上は薄くない fact9: もし仮に何かはしょぼいとすればそれはつべたい
fact9 -> int1: もし仮に「そのスポイトツールはしょぼい」ということは真実だとすればつべたい; fact1 & fact3 -> int2: そのスポイトツールはしょぼいかまたはむしゃくしゃするかまたは両方ともだ; fact7 -> int3: 仮にそのスポイトツールがむしゃくしゃすればつべたい; int1 & int2 & int3 -> int4: そのスポイトツールはつべたい; int4 & fact4 -> int5: その同輩は生温かい; int5 & fact5 -> int6: あの障害等級上は手術棟だ; fact2 -> int7: 仮にあの障害等級上は手術棟だとすると「それは薄い」ということは成り立つ; int6 & int7 -> hypothesis;
あの障害等級上は薄くない
$facts$ = fact1: もしあの打球音が狙い易くないとすればそのスポイトツールはしょぼいかまたはそれはむしゃくしゃするかあるいは両方である fact2: もしあるものが手術棟なら薄い fact3: あの打球音は狙い易くない fact4: もしそのスポイトツールがつべたいならばあの同輩は生温かい fact5: その同輩が生温かいならあの障害等級上は手術棟だ fact6: もしもあの打球音はしょぼいとしたら「その同輩は薄くないかむしゃくしゃするかもしくはどちらもである」ということは成り立つということはない fact7: もし仮になんらかのものがむしゃくしゃすればそれはつべたい fact8: もしも「その同輩は薄くないかもしくはそれはむしゃくしゃする」ということは嘘だとすればあの障害等級上は薄くない fact9: もし仮に何かはしょぼいとすればそれはつべたい ; $hypothesis$ = あの障害等級上は薄い ; $proof$ = 
fact9 -> int1: もし仮に「そのスポイトツールはしょぼい」ということは真実だとすればつべたい; fact1 & fact3 -> int2: そのスポイトツールはしょぼいかまたはむしゃくしゃするかまたは両方ともだ; fact7 -> int3: 仮にそのスポイトツールがむしゃくしゃすればつべたい; int1 & int2 & int3 -> int4: そのスポイトツールはつべたい; int4 & fact4 -> int5: その同輩は生温かい; int5 & fact5 -> int6: あの障害等級上は手術棟だ; fact2 -> int7: 仮にあの障害等級上は手術棟だとすると「それは薄い」ということは成り立つ; int6 & int7 -> hypothesis; __PROVED__
事実1: もしあの打球音が狙い易くないとすればそのスポイトツールはしょぼいかまたはそれはむしゃくしゃするかあるいは両方である
事実2: もしあるものが手術棟なら薄い
事実3: あの打球音は狙い易くない
事実4: もしそのスポイトツールがつべたいならばあの同輩は生温かい
事実5: その同輩が生温かいならあの障害等級上は手術棟だ
事実6: もしもあの打球音はしょぼいとしたら「その同輩は薄くないかむしゃくしゃするかもしくはどちらもである」ということは成り立つということはない
事実7: もし仮になんらかのものがむしゃくしゃすればそれはつべたい
事実8: もしも「その同輩は薄くないかもしくはそれはむしゃくしゃする」ということは嘘だとすればあの障害等級上は薄くない
事実9: もし仮に何かはしょぼいとすればそれはつべたい

仮説: あの障害等級上は薄い
1. 事実9から、推論1: "もし仮に「そのスポイトツールはしょぼい」ということは真実だとすればつべたい"が導かれる
2. 事実1と事実3から、推論2: "そのスポイトツールはしょぼいかまたはむしゃくしゃするかまたは両方ともだ"が導かれる
3. 事実7から、推論3: "仮にそのスポイトツールがむしゃくしゃすればつべたい"が導かれる
4. 推論1と推論2と推論3から、推論4: "そのスポイトツールはつべたい"が導かれる
5. 推論4と事実4から、推論5: "その同輩は生温かい"が導かれる
6. 推論5と事実5から、推論6: "あの障害等級上は手術棟だ"が導かれる
7. 事実2から、推論7: "仮にあの障害等級上は手術棟だとすると「それは薄い」ということは成り立つ"が導かれる
8. 推論6と推論7から、仮説が導かれる

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