「あのゾロアストロは姉らしいということはない」ということは偽でない
fact1: あのゾロアストロは姉らしい
$facts$ = fact1: あのゾロアストロは姉らしい ; $hypothesis$ = 「あのゾロアストロは姉らしいということはない」ということは偽でない ; $proof$ = 
事実1: あのゾロアストロは姉らしい

仮説: 「あのゾロアストロは姉らしいということはない」ということは偽でない