「「仮に恥ずかしないなら「高貴であるかまたは赤黒いかあるいは両方だ」ということは事実でない」物はある」ということは正しくない
fact1: そのプードルは恥ずかしということはないなら「高貴であるかまたは赤黒い」ということは偽である
$facts$ = fact1: そのプードルは恥ずかしということはないなら「高貴であるかまたは赤黒い」ということは偽である ; $hypothesis$ = 「「仮に恥ずかしないなら「高貴であるかまたは赤黒いかあるいは両方だ」ということは事実でない」物はある」ということは正しくない ; $proof$ = 
事実1: そのプードルは恥ずかしということはないなら「高貴であるかまたは赤黒い」ということは偽である

仮説: 「「仮に恥ずかしないなら「高貴であるかまたは赤黒いかあるいは両方だ」ということは事実でない」物はある」ということは正しくない