「その赤海老は目新しくないしさらに上回らない」ということは偽である
fact1: 「赤しない」ものはある fact2: もしも赤しないものがあればその赤海老が目新しくないしさらに上回るということはない
$facts$ = fact1: 「赤しない」ものはある fact2: もしも赤しないものがあればその赤海老が目新しくないしさらに上回るということはない ; $hypothesis$ = 「その赤海老は目新しくないしさらに上回らない」ということは偽である ; $proof$ = 
事実1: 「赤しない」ものはある
事実2: もしも赤しないものがあればその赤海老が目新しくないしさらに上回るということはない

仮説: 「その赤海老は目新しくないしさらに上回らない」ということは偽である