「もし仮に「ハイジャックする」ということは真実だとすると趙理君等な」ものはある
fact1: 「慎み深いとすると「重合する」ということは成り立つ」ものはある fact2: 仮にその意気込みが過ぎるとすればそれはハイジャックする fact3: そのショック大がハイジャックするとすれば横槍である fact4: そのショック大が信仰深いならそれはハイジャックする fact5: 仮にそのショック大がハイジャックするとすると大きい fact6: この現象がハイジャックすれば心酔する fact7: もしそのショック大は情報項目であるとすればそれは趙理君等である fact8: もし仮にあの証しがハイジャックするとすると君らしい fact9: 攻撃目標は称揚である fact10: このオリエンタルランドはハイジャックする fact11: もしもある物が大きいとするとそれは趙理君等である fact12: 「もしも遣り難いとしたらあざとい」ものはある fact13: もしも「その恵日寺は大きい」ということは成り立つとすると「それは御確認下さる」ということは真実である fact14: 「そのショック大は社会的交換である」ということは間違っていない fact15: 「もしも読み易いなら狭い」ものはある fact16: そのショック大は余儀無い fact17: そのショック大は麻薬取り締まり法であるとすると心酔する fact18: そのショック大は惜しみ無い
void -> assump1: 以下のように仮定する。そのショック大はハイジャックする; fact5 & assump1 -> int1: そのショック大は大きい; fact11 -> int2: そのショック大が大きいとすればそれは趙理君等である; int1 & int2 -> int3: そのショック大は趙理君等である; [assump1] & int3 -> int4: もしそのショック大がハイジャックするならそれは趙理君等である; int4 -> hypothesis;
$facts$ = fact1: 「慎み深いとすると「重合する」ということは成り立つ」ものはある fact2: 仮にその意気込みが過ぎるとすればそれはハイジャックする fact3: そのショック大がハイジャックするとすれば横槍である fact4: そのショック大が信仰深いならそれはハイジャックする fact5: 仮にそのショック大がハイジャックするとすると大きい fact6: この現象がハイジャックすれば心酔する fact7: もしそのショック大は情報項目であるとすればそれは趙理君等である fact8: もし仮にあの証しがハイジャックするとすると君らしい fact9: 攻撃目標は称揚である fact10: このオリエンタルランドはハイジャックする fact11: もしもある物が大きいとするとそれは趙理君等である fact12: 「もしも遣り難いとしたらあざとい」ものはある fact13: もしも「その恵日寺は大きい」ということは成り立つとすると「それは御確認下さる」ということは真実である fact14: 「そのショック大は社会的交換である」ということは間違っていない fact15: 「もしも読み易いなら狭い」ものはある fact16: そのショック大は余儀無い fact17: そのショック大は麻薬取り締まり法であるとすると心酔する fact18: そのショック大は惜しみ無い ; $hypothesis$ = 「もし仮に「ハイジャックする」ということは真実だとすると趙理君等な」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。そのショック大はハイジャックする; fact5 & assump1 -> int1: そのショック大は大きい; fact11 -> int2: そのショック大が大きいとすればそれは趙理君等である; int1 & int2 -> int3: そのショック大は趙理君等である; [assump1] & int3 -> int4: もしそのショック大がハイジャックするならそれは趙理君等である; int4 -> hypothesis; __PROVED__
事実1: 「慎み深いとすると「重合する」ということは成り立つ」ものはある
事実2: 仮にその意気込みが過ぎるとすればそれはハイジャックする
事実3: そのショック大がハイジャックするとすれば横槍である
事実4: そのショック大が信仰深いならそれはハイジャックする
事実5: 仮にそのショック大がハイジャックするとすると大きい
事実6: この現象がハイジャックすれば心酔する
事実7: もしそのショック大は情報項目であるとすればそれは趙理君等である
事実8: もし仮にあの証しがハイジャックするとすると君らしい
事実9: 攻撃目標は称揚である
事実10: このオリエンタルランドはハイジャックする
事実11: もしもある物が大きいとするとそれは趙理君等である
事実12: 「もしも遣り難いとしたらあざとい」ものはある
事実13: もしも「その恵日寺は大きい」ということは成り立つとすると「それは御確認下さる」ということは真実である
事実14: 「そのショック大は社会的交換である」ということは間違っていない
事実15: 「もしも読み易いなら狭い」ものはある
事実16: そのショック大は余儀無い
事実17: そのショック大は麻薬取り締まり法であるとすると心酔する
事実18: そのショック大は惜しみ無い

仮説: 「もし仮に「ハイジャックする」ということは真実だとすると趙理君等な」ものはある
1. 仮定1: 以下のように仮定する。そのショック大はハイジャックする
2. 事実5と仮定1から、推論1: "そのショック大は大きい"が導かれる
3. 事実11から、推論2: "そのショック大が大きいとすればそれは趙理君等である"が導かれる
4. 推論1と推論2から、推論3: "そのショック大は趙理君等である"が導かれる
5. [仮定1]と推論3から、推論4: "もしそのショック大がハイジャックするならそれは趙理君等である"が導かれる
6. 推論4から、仮説が導かれる

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