この変換規則は首長でない
fact1: 何らかの物は戦車であるし加えて邪魔臭い fact2: もしも戦車が邪魔臭いならばあの変換規則は首長である
$facts$ = fact1: 何らかの物は戦車であるし加えて邪魔臭い fact2: もしも戦車が邪魔臭いならばあの変換規則は首長である ; $hypothesis$ = この変換規則は首長でない ; $proof$ = 
事実1: 何らかの物は戦車であるし加えて邪魔臭い
事実2: もしも戦車が邪魔臭いならばあの変換規則は首長である

仮説: この変換規則は首長でない