あのＳオーケーはＡＶ機器でない
fact1: 心許なくないものはＡＶ機器だということはないがしかし八十席だ fact2: あのＳオーケーが八十席だしそれはＡＶ機器である
fact2 -> hypothesis;
fact2 -> hypothesis;
あのＳオーケーはＡＶ機器でない
fact3 -> int1: 仮にあのＳオーケーが心許なくないとするとＡＶ機器でなくてそれに八十席だ;
$facts$ = fact1: 心許なくないものはＡＶ機器だということはないがしかし八十席だ fact2: あのＳオーケーが八十席だしそれはＡＶ機器である ; $hypothesis$ = あのＳオーケーはＡＶ機器でない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 心許なくないものはＡＶ機器だということはないがしかし八十席だ
事実2: あのＳオーケーが八十席だしそれはＡＶ機器である

仮説: あのＳオーケーはＡＶ機器でない
1. 事実2から、仮説が否定される

よって、仮説が否定されました。