この自家用は一致するということはない
fact1: 「姦しい」ものがあるとすればこの自家用は一致しなくて刻み込まない fact2: なにかは一致すればこの自家用は刻み込まないし加えて姦しくない fact3: そのＡ商事は姦しい
fact3 -> int1: 「姦しい」ものはある; int1 & fact1 -> int2: この自家用は一致しなくて刻み込むということはない; int2 -> hypothesis;
$facts$ = fact1: 「姦しい」ものがあるとすればこの自家用は一致しなくて刻み込まない fact2: なにかは一致すればこの自家用は刻み込まないし加えて姦しくない fact3: そのＡ商事は姦しい ; $hypothesis$ = この自家用は一致するということはない ; $proof$ = 
fact3 -> int1: 「姦しい」ものはある; int1 & fact1 -> int2: この自家用は一致しなくて刻み込むということはない; int2 -> hypothesis; __PROVED__
事実1: 「姦しい」ものがあるとすればこの自家用は一致しなくて刻み込まない
事実2: なにかは一致すればこの自家用は刻み込まないし加えて姦しくない
事実3: そのＡ商事は姦しい

仮説: この自家用は一致するということはない
1. 事実3から、推論1: "「姦しい」ものはある"が導かれる
2. 推論1と事実1から、推論2: "この自家用は一致しなくて刻み込むということはない"が導かれる
3. 推論2から、仮説が導かれる

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