このコードモデルは児童福祉制度でないかまたは御曹司であるかどちらもである
fact1: この産業会社は出現し易い fact2: もし仮にこの産業会社が出現し易いならこのコードモデルは児童福祉制度であるかあるいは御曹司であるかどちらもだ fact3: このコードモデルは児童福祉制度であるかまたは御曹司である fact4: 仮にこの産業会社が出現し易いならばこのコードモデルは児童福祉制度でないかもしくは御曹司であるかまたは両方である fact5: もしもこの産業会社が出現し易くないけれど中世都市であるなら末恐ろしくない
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
この産業会社は末恐ろしくないかそれはファウルする
$facts$ = fact1: この産業会社は出現し易い fact2: もし仮にこの産業会社が出現し易いならこのコードモデルは児童福祉制度であるかあるいは御曹司であるかどちらもだ fact3: このコードモデルは児童福祉制度であるかまたは御曹司である fact4: 仮にこの産業会社が出現し易いならばこのコードモデルは児童福祉制度でないかもしくは御曹司であるかまたは両方である fact5: もしもこの産業会社が出現し易くないけれど中世都市であるなら末恐ろしくない ; $hypothesis$ = このコードモデルは児童福祉制度でないかまたは御曹司であるかどちらもである ; $proof$ = 
fact4 & fact1 -> hypothesis; __PROVED__
事実1: この産業会社は出現し易い
事実2: もし仮にこの産業会社が出現し易いならこのコードモデルは児童福祉制度であるかあるいは御曹司であるかどちらもだ
事実3: このコードモデルは児童福祉制度であるかまたは御曹司である
事実4: 仮にこの産業会社が出現し易いならばこのコードモデルは児童福祉制度でないかもしくは御曹司であるかまたは両方である
事実5: もしもこの産業会社が出現し易くないけれど中世都市であるなら末恐ろしくない

仮説: このコードモデルは児童福祉制度でないかまたは御曹司であるかどちらもである
1. 事実4と事実1から、仮説が導かれる

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