この外部システムはＶＥＥでない
fact1: 仮にその暗室外部が絞り袋であるならばこの外部システムはＶＥＥである fact2: もし仮にその暗室外部が深いとしたらこの外部システムはＶＥＥである fact3: その暗室外部は絞り袋であるか深い
$facts$ = fact1: 仮にその暗室外部が絞り袋であるならばこの外部システムはＶＥＥである fact2: もし仮にその暗室外部が深いとしたらこの外部システムはＶＥＥである fact3: その暗室外部は絞り袋であるか深い ; $hypothesis$ = この外部システムはＶＥＥでない ; $proof$ = 
事実1: 仮にその暗室外部が絞り袋であるならばこの外部システムはＶＥＥである
事実2: もし仮にその暗室外部が深いとしたらこの外部システムはＶＥＥである
事実3: その暗室外部は絞り袋であるか深い

仮説: この外部システムはＶＥＥでない