「照射する」物はある
fact1: その醸造酒は聖化するしきったない fact2: 「啜り込むし伝え易い」物があるとしたらその三昧堂はきったない fact3: 「その三昧堂は娘らしい」ということは正しい fact4: もし仮にその醸造酒がきったないとしたらこの四十五日以内は絶賛する fact5: この四十五日以内が美味しかないならばそれは砕け易い fact6: もしもこの四十五日以内が美味しかないとしたら免れ難いし砕け易い fact7: 「「免れ難い」ということは成り立つ」ものはある fact8: 仮になんらかのものが免れ難くておまけに振興会議ならばその三昧堂は追善供養だ fact9: 仮になんらかの物が絶賛するとすると振興会議である fact10: その醸造酒は聖化する fact11: その三昧堂が太しならばそれは照射する fact12: すべては美味しかない fact13: その醸造酒は聖化するしそれは免れ難い fact14: とある物は追善供養であるとすればそれは照射する fact15: この四十五日以内は砕け易い fact16: 「明滅するし加えて憎たらしい」ものはある fact17: 仮にその三昧堂が照射しないとするとそれは振興会議であるし加えてきったない fact18: この魚鱗は絶賛する fact19: もし仮にその醸造酒が聖化しないとすればそれは免れ難いし砕け易い fact20: あのゴルフ会員権はまどろっこしいし笑い飛ばせる fact21: その三昧堂は振興会議だ fact22: その三昧堂は絶賛する fact23: 生温いものは太し fact24: すべては監事でない fact25: 振興会議はある fact26: もしあるものが照射するしそれが絶賛するとしたらその三昧堂は振興会議だ fact27: もしその醸造酒が衣装戸棚だとするとそれは砕け易い
fact1 -> int1: その醸造酒はきったない; int1 & fact4 -> int2: この四十五日以内は絶賛する; fact9 -> int3: この四十五日以内が絶賛するとするとそれは振興会議である; int2 & int3 -> int4: この四十五日以内は振興会議である; fact12 -> int5: この四十五日以内は美味しかない; int5 & fact6 -> int6: この四十五日以内は免れ難いし砕け易い; int6 -> int7: この四十五日以内は免れ難い; int4 & int7 -> int8: この四十五日以内は免れ難くて振興会議である; int8 -> int9: 何らかの物は免れ難いし振興会議だ; int9 & fact8 -> int10: その三昧堂は追善供養だ; fact14 -> int11: その三昧堂が追善供養だとしたらそれは照射する; int10 & int11 -> int12: その三昧堂は照射する; int12 -> hypothesis;
$facts$ = fact1: その醸造酒は聖化するしきったない fact2: 「啜り込むし伝え易い」物があるとしたらその三昧堂はきったない fact3: 「その三昧堂は娘らしい」ということは正しい fact4: もし仮にその醸造酒がきったないとしたらこの四十五日以内は絶賛する fact5: この四十五日以内が美味しかないならばそれは砕け易い fact6: もしもこの四十五日以内が美味しかないとしたら免れ難いし砕け易い fact7: 「「免れ難い」ということは成り立つ」ものはある fact8: 仮になんらかのものが免れ難くておまけに振興会議ならばその三昧堂は追善供養だ fact9: 仮になんらかの物が絶賛するとすると振興会議である fact10: その醸造酒は聖化する fact11: その三昧堂が太しならばそれは照射する fact12: すべては美味しかない fact13: その醸造酒は聖化するしそれは免れ難い fact14: とある物は追善供養であるとすればそれは照射する fact15: この四十五日以内は砕け易い fact16: 「明滅するし加えて憎たらしい」ものはある fact17: 仮にその三昧堂が照射しないとするとそれは振興会議であるし加えてきったない fact18: この魚鱗は絶賛する fact19: もし仮にその醸造酒が聖化しないとすればそれは免れ難いし砕け易い fact20: あのゴルフ会員権はまどろっこしいし笑い飛ばせる fact21: その三昧堂は振興会議だ fact22: その三昧堂は絶賛する fact23: 生温いものは太し fact24: すべては監事でない fact25: 振興会議はある fact26: もしあるものが照射するしそれが絶賛するとしたらその三昧堂は振興会議だ fact27: もしその醸造酒が衣装戸棚だとするとそれは砕け易い ; $hypothesis$ = 「照射する」物はある ; $proof$ = 
fact1 -> int1: その醸造酒はきったない; int1 & fact4 -> int2: この四十五日以内は絶賛する; fact9 -> int3: この四十五日以内が絶賛するとするとそれは振興会議である; int2 & int3 -> int4: この四十五日以内は振興会議である; fact12 -> int5: この四十五日以内は美味しかない; int5 & fact6 -> int6: この四十五日以内は免れ難いし砕け易い; int6 -> int7: この四十五日以内は免れ難い; int4 & int7 -> int8: この四十五日以内は免れ難くて振興会議である; int8 -> int9: 何らかの物は免れ難いし振興会議だ; int9 & fact8 -> int10: その三昧堂は追善供養だ; fact14 -> int11: その三昧堂が追善供養だとしたらそれは照射する; int10 & int11 -> int12: その三昧堂は照射する; int12 -> hypothesis; __PROVED__
事実1: その醸造酒は聖化するしきったない
事実2: 「啜り込むし伝え易い」物があるとしたらその三昧堂はきったない
事実3: 「その三昧堂は娘らしい」ということは正しい
事実4: もし仮にその醸造酒がきったないとしたらこの四十五日以内は絶賛する
事実5: この四十五日以内が美味しかないならばそれは砕け易い
事実6: もしもこの四十五日以内が美味しかないとしたら免れ難いし砕け易い
事実7: 「「免れ難い」ということは成り立つ」ものはある
事実8: 仮になんらかのものが免れ難くておまけに振興会議ならばその三昧堂は追善供養だ
事実9: 仮になんらかの物が絶賛するとすると振興会議である
事実10: その醸造酒は聖化する
事実11: その三昧堂が太しならばそれは照射する
事実12: すべては美味しかない
事実13: その醸造酒は聖化するしそれは免れ難い
事実14: とある物は追善供養であるとすればそれは照射する
事実15: この四十五日以内は砕け易い
事実16: 「明滅するし加えて憎たらしい」ものはある
事実17: 仮にその三昧堂が照射しないとするとそれは振興会議であるし加えてきったない
事実18: この魚鱗は絶賛する
事実19: もし仮にその醸造酒が聖化しないとすればそれは免れ難いし砕け易い
事実20: あのゴルフ会員権はまどろっこしいし笑い飛ばせる
事実21: その三昧堂は振興会議だ
事実22: その三昧堂は絶賛する
事実23: 生温いものは太し
事実24: すべては監事でない
事実25: 振興会議はある
事実26: もしあるものが照射するしそれが絶賛するとしたらその三昧堂は振興会議だ
事実27: もしその醸造酒が衣装戸棚だとするとそれは砕け易い

仮説: 「照射する」物はある
1. 事実1から、推論1: "その醸造酒はきったない"が導かれる
2. 推論1と事実4から、推論2: "この四十五日以内は絶賛する"が導かれる
3. 事実9から、推論3: "この四十五日以内が絶賛するとするとそれは振興会議である"が導かれる
4. 推論2と推論3から、推論4: "この四十五日以内は振興会議である"が導かれる
5. 事実12から、推論5: "この四十五日以内は美味しかない"が導かれる
6. 推論5と事実6から、推論6: "この四十五日以内は免れ難いし砕け易い"が導かれる
7. 推論6から、推論7: "この四十五日以内は免れ難い"が導かれる
8. 推論4と推論7から、推論8: "この四十五日以内は免れ難くて振興会議である"が導かれる
9. 推論8から、推論9: "何らかの物は免れ難いし振興会議だ"が導かれる
10. 推論9と事実8から、推論10: "その三昧堂は追善供養だ"が導かれる
11. 事実14から、推論11: "その三昧堂が追善供養だとしたらそれは照射する"が導かれる
12. 推論10と推論11から、推論12: "その三昧堂は照射する"が導かれる
13. 推論12から、仮説が導かれる

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