その代謝能力は焼却する
fact1: もし仮にその実行犯は改定しないならば「その党は押し上げるけど蹴破らない」ということは嘘だ fact2: あの平沼等は押し上げる fact3: その代謝能力はださい fact4: 仮にこの受け取り利子が卵巣だとするとそれは談ずる fact5: もし「その代謝能力は押し上げる」ということは事実であるなら焼却する fact6: もしもその代謝能力が押し上げるとすればそれは納得し難い fact7: もしもその代謝能力が押し上げるとしたらそれは相談援助事業である fact8: もしもその企業広告が御言うならそれは押し上げる fact9: この原発性骨腫瘍は焼却する fact10: その代謝能力は押し上げる fact11: もしもその代謝能力が掛かり易いとすると押し上げる fact12: 仮にあの体毛は対象地域であるならそれは別だ fact13: もしも「あるものは心強いしさらに改定する」ということは間違いだとすればそれは改定しない fact14: その黙秘は押し上げる fact15: あの表示クラスは押し上げる fact16: もし仮にそのビデオトラックが足長だとすれば掛かり易い fact17: その代謝能力は近代だ fact18: その代謝能力は復元力だ
fact5 & fact10 -> hypothesis;
fact5 & fact10 -> hypothesis;
その代謝能力は焼却しない
fact20 -> int1: 仮に「その実行犯は心強いしそれは改定する」ということは間違っていればそれは改定しない;
$facts$ = fact1: もし仮にその実行犯は改定しないならば「その党は押し上げるけど蹴破らない」ということは嘘だ fact2: あの平沼等は押し上げる fact3: その代謝能力はださい fact4: 仮にこの受け取り利子が卵巣だとするとそれは談ずる fact5: もし「その代謝能力は押し上げる」ということは事実であるなら焼却する fact6: もしもその代謝能力が押し上げるとすればそれは納得し難い fact7: もしもその代謝能力が押し上げるとしたらそれは相談援助事業である fact8: もしもその企業広告が御言うならそれは押し上げる fact9: この原発性骨腫瘍は焼却する fact10: その代謝能力は押し上げる fact11: もしもその代謝能力が掛かり易いとすると押し上げる fact12: 仮にあの体毛は対象地域であるならそれは別だ fact13: もしも「あるものは心強いしさらに改定する」ということは間違いだとすればそれは改定しない fact14: その黙秘は押し上げる fact15: あの表示クラスは押し上げる fact16: もし仮にそのビデオトラックが足長だとすれば掛かり易い fact17: その代謝能力は近代だ fact18: その代謝能力は復元力だ ; $hypothesis$ = その代謝能力は焼却する ; $proof$ = 
fact5 & fact10 -> hypothesis; __PROVED__
事実1: もし仮にその実行犯は改定しないならば「その党は押し上げるけど蹴破らない」ということは嘘だ
事実2: あの平沼等は押し上げる
事実3: その代謝能力はださい
事実4: 仮にこの受け取り利子が卵巣だとするとそれは談ずる
事実5: もし「その代謝能力は押し上げる」ということは事実であるなら焼却する
事実6: もしもその代謝能力が押し上げるとすればそれは納得し難い
事実7: もしもその代謝能力が押し上げるとしたらそれは相談援助事業である
事実8: もしもその企業広告が御言うならそれは押し上げる
事実9: この原発性骨腫瘍は焼却する
事実10: その代謝能力は押し上げる
事実11: もしもその代謝能力が掛かり易いとすると押し上げる
事実12: 仮にあの体毛は対象地域であるならそれは別だ
事実13: もしも「あるものは心強いしさらに改定する」ということは間違いだとすればそれは改定しない
事実14: その黙秘は押し上げる
事実15: あの表示クラスは押し上げる
事実16: もし仮にそのビデオトラックが足長だとすれば掛かり易い
事実17: その代謝能力は近代だ
事実18: その代謝能力は復元力だ

仮説: その代謝能力は焼却する
1. 事実5と事実10から、仮説が導かれる

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