あの一手勝ちは罷り向わない
fact1: あの一手勝ちは引き出し易くない fact2: もしなんらかのものは罷り向わないかあるいは庶民派系であるかあるいは両方であるなら庶民派系である fact3: あの内舎人は罷り向う fact4: あの百億円以上は捏ち上げるし苦闘する fact5: もしあの一手勝ちが温かくないとしたらそれは罷り向わないかもしくはそれは庶民派系であるか両方ともである fact6: 仮に狡っ辛い物が古しならそれは極意山高しない fact7: 「あの一手勝ちは温かい」ということは正しい fact8: あの一手勝ちは苦闘するしその上同盟する fact9: あの一手勝ちは打ち上がり易い fact10: もしなんらかの物が同盟するし感じ過ぎるならそれは罷り向わない fact11: あの一手勝ちが温かいなら感じ過ぎる fact12: あの一手勝ちは苦闘する fact13: その日本進出は感じ過ぎる
fact8 -> int1: あの一手勝ちは同盟する; fact11 & fact7 -> int2: 「あの一手勝ちは感じ過ぎる」ということは本当だ; int1 & int2 -> int3: あの一手勝ちは同盟するし感じ過ぎる; fact10 -> int4: 仮にあの一手勝ちが同盟するしそれは感じ過ぎるとしたら「罷り向わない」ということは本当である; int3 & int4 -> hypothesis;
あの一手勝ちは庶民派系であるししかも取り扱い易い
fact14 -> int5: あの一手勝ちは罷り向わないかもしくは庶民派系であるかもしくは両方だとしたら庶民派系である;
$facts$ = fact1: あの一手勝ちは引き出し易くない fact2: もしなんらかのものは罷り向わないかあるいは庶民派系であるかあるいは両方であるなら庶民派系である fact3: あの内舎人は罷り向う fact4: あの百億円以上は捏ち上げるし苦闘する fact5: もしあの一手勝ちが温かくないとしたらそれは罷り向わないかもしくはそれは庶民派系であるか両方ともである fact6: 仮に狡っ辛い物が古しならそれは極意山高しない fact7: 「あの一手勝ちは温かい」ということは正しい fact8: あの一手勝ちは苦闘するしその上同盟する fact9: あの一手勝ちは打ち上がり易い fact10: もしなんらかの物が同盟するし感じ過ぎるならそれは罷り向わない fact11: あの一手勝ちが温かいなら感じ過ぎる fact12: あの一手勝ちは苦闘する fact13: その日本進出は感じ過ぎる ; $hypothesis$ = あの一手勝ちは罷り向わない ; $proof$ = 
fact8 -> int1: あの一手勝ちは同盟する; fact11 & fact7 -> int2: 「あの一手勝ちは感じ過ぎる」ということは本当だ; int1 & int2 -> int3: あの一手勝ちは同盟するし感じ過ぎる; fact10 -> int4: 仮にあの一手勝ちが同盟するしそれは感じ過ぎるとしたら「罷り向わない」ということは本当である; int3 & int4 -> hypothesis; __PROVED__
事実1: あの一手勝ちは引き出し易くない
事実2: もしなんらかのものは罷り向わないかあるいは庶民派系であるかあるいは両方であるなら庶民派系である
事実3: あの内舎人は罷り向う
事実4: あの百億円以上は捏ち上げるし苦闘する
事実5: もしあの一手勝ちが温かくないとしたらそれは罷り向わないかもしくはそれは庶民派系であるか両方ともである
事実6: 仮に狡っ辛い物が古しならそれは極意山高しない
事実7: 「あの一手勝ちは温かい」ということは正しい
事実8: あの一手勝ちは苦闘するしその上同盟する
事実9: あの一手勝ちは打ち上がり易い
事実10: もしなんらかの物が同盟するし感じ過ぎるならそれは罷り向わない
事実11: あの一手勝ちが温かいなら感じ過ぎる
事実12: あの一手勝ちは苦闘する
事実13: その日本進出は感じ過ぎる

仮説: あの一手勝ちは罷り向わない
1. 事実8から、推論1: "あの一手勝ちは同盟する"が導かれる
2. 事実11と事実7から、推論2: "「あの一手勝ちは感じ過ぎる」ということは本当だ"が導かれる
3. 推論1と推論2から、推論3: "あの一手勝ちは同盟するし感じ過ぎる"が導かれる
4. 事実10から、推論4: "仮にあの一手勝ちが同盟するしそれは感じ過ぎるとしたら「罷り向わない」ということは本当である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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