そのスタンダードモデルは関与するししかも書す
fact1: そのスタンダードモデルはきったないしおまけに関与する fact2: そのスタンダードモデルはテストチームだしおまけに書す
fact2 -> int1: そのスタンダードモデルは書す; fact1 -> int2: そのスタンダードモデルは関与する; int1 & int2 -> hypothesis;
fact2 -> int1: {B}{a}; fact1 -> int2: {C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: そのスタンダードモデルはきったないしおまけに関与する fact2: そのスタンダードモデルはテストチームだしおまけに書す ; $hypothesis$ = そのスタンダードモデルは関与するししかも書す ; $proof$ = 
fact2 -> int1: そのスタンダードモデルは書す; fact1 -> int2: そのスタンダードモデルは関与する; int1 & int2 -> hypothesis; __PROVED__
事実1: そのスタンダードモデルはきったないしおまけに関与する
事実2: そのスタンダードモデルはテストチームだしおまけに書す

仮説: そのスタンダードモデルは関与するししかも書す
1. 事実2から、推論1: "そのスタンダードモデルは書す"が導かれる
2. 事実1から、推論2: "そのスタンダードモデルは関与する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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