その線状影は咲き出す
fact1: その博覧会は咲き出す fact2: その線状影はドールスポンジでない fact3: 「その酵素活性は咲き出す」ということは正しい fact4: その採取者は行い為さる fact5: その酵素活性は先述する fact6: その線状影が□マークであるし加えてドールスポンジならばあの採取者は球足でない fact7: その酵素活性は引き締まるししかもなあい fact8: 仮にその採取者が遅くないとするとその線状影は□マークである fact9: その酵素活性は漲る fact10: その採取者は球足である fact11: もしもその線状影が球足だとすると咲き出す fact12: もし仮にその線状影は□マークであるならばそれは球足だ fact13: その酵素活性はドールスポンジである fact14: あの拮抗筋は行い為さる fact15: その採取者が漲るしそれが遅いとすればその酵素活性は行い為さらない fact16: その採取者はドールスポンジであるししかも漲る fact17: その酵素活性は遅くない fact18: この神童は□マークであるしおまけにそれは放置出来る fact19: その酵素活性は行い為さる fact20: もし仮にあのカツ丼はドールスポンジであるならそれは歴史的産物だ fact21: その採取者は咲き出す
fact16 -> int1: その採取者は漲る; void -> assump1: 以下のように仮定する。その採取者は遅い; int1 & assump1 -> int2: その採取者は漲るしその上遅い; int2 & fact15 -> int3: その酵素活性は行い為さらない; int3 & fact19 -> int4: これは矛盾である; [assump1] & int4 -> int5: その採取者は遅くない; int5 & fact8 -> int6: その線状影は□マークである; int6 & fact12 -> int7: 「その線状影は球足だ」ということは成り立つ; int7 & fact11 -> hypothesis;
$facts$ = fact1: その博覧会は咲き出す fact2: その線状影はドールスポンジでない fact3: 「その酵素活性は咲き出す」ということは正しい fact4: その採取者は行い為さる fact5: その酵素活性は先述する fact6: その線状影が□マークであるし加えてドールスポンジならばあの採取者は球足でない fact7: その酵素活性は引き締まるししかもなあい fact8: 仮にその採取者が遅くないとするとその線状影は□マークである fact9: その酵素活性は漲る fact10: その採取者は球足である fact11: もしもその線状影が球足だとすると咲き出す fact12: もし仮にその線状影は□マークであるならばそれは球足だ fact13: その酵素活性はドールスポンジである fact14: あの拮抗筋は行い為さる fact15: その採取者が漲るしそれが遅いとすればその酵素活性は行い為さらない fact16: その採取者はドールスポンジであるししかも漲る fact17: その酵素活性は遅くない fact18: この神童は□マークであるしおまけにそれは放置出来る fact19: その酵素活性は行い為さる fact20: もし仮にあのカツ丼はドールスポンジであるならそれは歴史的産物だ fact21: その採取者は咲き出す ; $hypothesis$ = その線状影は咲き出す ; $proof$ = 
fact16 -> int1: その採取者は漲る; void -> assump1: 以下のように仮定する。その採取者は遅い; int1 & assump1 -> int2: その採取者は漲るしその上遅い; int2 & fact15 -> int3: その酵素活性は行い為さらない; int3 & fact19 -> int4: これは矛盾である; [assump1] & int4 -> int5: その採取者は遅くない; int5 & fact8 -> int6: その線状影は□マークである; int6 & fact12 -> int7: 「その線状影は球足だ」ということは成り立つ; int7 & fact11 -> hypothesis; __PROVED__
事実1: その博覧会は咲き出す
事実2: その線状影はドールスポンジでない
事実3: 「その酵素活性は咲き出す」ということは正しい
事実4: その採取者は行い為さる
事実5: その酵素活性は先述する
事実6: その線状影が□マークであるし加えてドールスポンジならばあの採取者は球足でない
事実7: その酵素活性は引き締まるししかもなあい
事実8: 仮にその採取者が遅くないとするとその線状影は□マークである
事実9: その酵素活性は漲る
事実10: その採取者は球足である
事実11: もしもその線状影が球足だとすると咲き出す
事実12: もし仮にその線状影は□マークであるならばそれは球足だ
事実13: その酵素活性はドールスポンジである
事実14: あの拮抗筋は行い為さる
事実15: その採取者が漲るしそれが遅いとすればその酵素活性は行い為さらない
事実16: その採取者はドールスポンジであるししかも漲る
事実17: その酵素活性は遅くない
事実18: この神童は□マークであるしおまけにそれは放置出来る
事実19: その酵素活性は行い為さる
事実20: もし仮にあのカツ丼はドールスポンジであるならそれは歴史的産物だ
事実21: その採取者は咲き出す

仮説: その線状影は咲き出す
1. 事実16から、推論1: "その採取者は漲る"が導かれる
2. 仮定1: 以下のように仮定する。その採取者は遅い
3. 推論1と仮定1から、推論2: "その採取者は漲るしその上遅い"が導かれる
4. 推論2と事実15から、推論3: "その酵素活性は行い為さらない"が導かれる
5. 推論3と事実19から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その採取者は遅くない"が導かれる
7. 推論5と事実8から、推論6: "その線状影は□マークである"が導かれる
8. 推論6と事実12から、推論7: "「その線状影は球足だ」ということは成り立つ"が導かれる
9. 推論7と事実11から、仮説が導かれる

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