その一剣は千九百二十年代でない
fact1: その一剣はテーピングである fact2: その一剣がテーピングならばそれは千九百二十年代だ
$facts$ = fact1: その一剣はテーピングである fact2: その一剣がテーピングならばそれは千九百二十年代だ ; $hypothesis$ = その一剣は千九百二十年代でない ; $proof$ = 
事実1: その一剣はテーピングである
事実2: その一剣がテーピングならばそれは千九百二十年代だ

仮説: その一剣は千九百二十年代でない