その活動場所は縁組する
fact1: その活動場所は秘伝である fact2: この水道栓は経営する fact3: もし仮にこのマルクス病が罹り易くないとしたらそれは爺様でない fact4: 区別し易くない物は経営するがしかし縁組するということはない fact5: もし仮にその主産地が気付き易くないとしたらそれは区別し易くないしそれにそれは経営しない fact6: その一部分は経営する fact7: その活動場所は経営する fact8: もし仮に「この同委員会は気付き易いかもしくは白肌である」ということは事実でないならその主産地は気付き易くない fact9: その会社・部門は経営する fact10: 仮にこのマルクス病は爺様でないならば「この同委員会は気付き易いかあるいは白肌であるかどちらもだ」ということは成り立つということはない fact11: もし仮にその活動場所が経営するならそれは縁組する
fact11 & fact7 -> hypothesis;
fact11 & fact7 -> hypothesis;
その活動場所は縁組しない
$facts$ = fact1: その活動場所は秘伝である fact2: この水道栓は経営する fact3: もし仮にこのマルクス病が罹り易くないとしたらそれは爺様でない fact4: 区別し易くない物は経営するがしかし縁組するということはない fact5: もし仮にその主産地が気付き易くないとしたらそれは区別し易くないしそれにそれは経営しない fact6: その一部分は経営する fact7: その活動場所は経営する fact8: もし仮に「この同委員会は気付き易いかもしくは白肌である」ということは事実でないならその主産地は気付き易くない fact9: その会社・部門は経営する fact10: 仮にこのマルクス病は爺様でないならば「この同委員会は気付き易いかあるいは白肌であるかどちらもだ」ということは成り立つということはない fact11: もし仮にその活動場所が経営するならそれは縁組する ; $hypothesis$ = その活動場所は縁組する ; $proof$ = 
fact11 & fact7 -> hypothesis; __PROVED__
事実1: その活動場所は秘伝である
事実2: この水道栓は経営する
事実3: もし仮にこのマルクス病が罹り易くないとしたらそれは爺様でない
事実4: 区別し易くない物は経営するがしかし縁組するということはない
事実5: もし仮にその主産地が気付き易くないとしたらそれは区別し易くないしそれにそれは経営しない
事実6: その一部分は経営する
事実7: その活動場所は経営する
事実8: もし仮に「この同委員会は気付き易いかもしくは白肌である」ということは事実でないならその主産地は気付き易くない
事実9: その会社・部門は経営する
事実10: 仮にこのマルクス病は爺様でないならば「この同委員会は気付き易いかあるいは白肌であるかどちらもだ」ということは成り立つということはない
事実11: もし仮にその活動場所が経営するならそれは縁組する

仮説: その活動場所は縁組する
1. 事実11と事実7から、仮説が導かれる

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