「あのガーターベルトは見間違えるがしかし新兵であるということはない」ということは誤りだ
fact1: あのガーターベルトは見間違えるが新兵でない
$facts$ = fact1: あのガーターベルトは見間違えるが新兵でない ; $hypothesis$ = 「あのガーターベルトは見間違えるがしかし新兵であるということはない」ということは誤りだ ; $proof$ = 
事実1: あのガーターベルトは見間違えるが新兵でない

仮説: 「あのガーターベルトは見間違えるがしかし新兵であるということはない」ということは誤りだ