その事業所毎はカモミールである
fact1: あの知命がカモミールであるならこの篝火はオーストリア国民である fact2: この篝火は秩序化する fact3: この篝火は混同し易い fact4: もし仮にこの篝火がカモミールだとしたらその事業所毎はオーストリア国民である fact5: この篝火はオーストリア国民だ fact6: もしも「何らかのものは得られ易くないかまたは疲労し易い」ということは間違いでないならば「それは意味深い」ということは成り立つ fact7: 仮にこの事件性がオーストリア国民であるとするとこの篝火はカモミールだ fact8: もしもこの篝火がオーストリア国民であるならその事業所毎はカモミールだ fact9: もしも何かは意味深いとするとそれはオーストリア国民だがカモミールでない fact10: もし仮にその事業所毎がオーストリア国民だとしたらこの篝火はカモミールだ
fact8 & fact5 -> hypothesis;
fact8 & fact5 -> hypothesis;
その事業所毎はカモミールでない
fact11 -> int1: 「その事業所毎は意味深い」ということは成り立てばオーストリア国民でそれにカモミールでない; fact12 -> int2: もしもその事業所毎が得られ易くないかもしくはそれは疲労し易いかまたは両方だとすればそれは意味深い;
$facts$ = fact1: あの知命がカモミールであるならこの篝火はオーストリア国民である fact2: この篝火は秩序化する fact3: この篝火は混同し易い fact4: もし仮にこの篝火がカモミールだとしたらその事業所毎はオーストリア国民である fact5: この篝火はオーストリア国民だ fact6: もしも「何らかのものは得られ易くないかまたは疲労し易い」ということは間違いでないならば「それは意味深い」ということは成り立つ fact7: 仮にこの事件性がオーストリア国民であるとするとこの篝火はカモミールだ fact8: もしもこの篝火がオーストリア国民であるならその事業所毎はカモミールだ fact9: もしも何かは意味深いとするとそれはオーストリア国民だがカモミールでない fact10: もし仮にその事業所毎がオーストリア国民だとしたらこの篝火はカモミールだ ; $hypothesis$ = その事業所毎はカモミールである ; $proof$ = 
fact8 & fact5 -> hypothesis; __PROVED__
事実1: あの知命がカモミールであるならこの篝火はオーストリア国民である
事実2: この篝火は秩序化する
事実3: この篝火は混同し易い
事実4: もし仮にこの篝火がカモミールだとしたらその事業所毎はオーストリア国民である
事実5: この篝火はオーストリア国民だ
事実6: もしも「何らかのものは得られ易くないかまたは疲労し易い」ということは間違いでないならば「それは意味深い」ということは成り立つ
事実7: 仮にこの事件性がオーストリア国民であるとするとこの篝火はカモミールだ
事実8: もしもこの篝火がオーストリア国民であるならその事業所毎はカモミールだ
事実9: もしも何かは意味深いとするとそれはオーストリア国民だがカモミールでない
事実10: もし仮にその事業所毎がオーストリア国民だとしたらこの篝火はカモミールだ

仮説: その事業所毎はカモミールである
1. 事実8と事実5から、仮説が導かれる

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