「この四性はラクトースでない」ということは事実だ
fact1: 「「離席するかまたは艶っぽいということはないかまたは両方ともである」ということは誤っている」物はある fact2: もしも「「離席するかあるいは艶っぽくない」ということは間違っている」ものはあれば「この四性はラクトースでない」ということは真実である
$facts$ = fact1: 「「離席するかまたは艶っぽいということはないかまたは両方ともである」ということは誤っている」物はある fact2: もしも「「離席するかあるいは艶っぽくない」ということは間違っている」ものはあれば「この四性はラクトースでない」ということは真実である ; $hypothesis$ = 「この四性はラクトースでない」ということは事実だ ; $proof$ = 
事実1: 「「離席するかまたは艶っぽいということはないかまたは両方ともである」ということは誤っている」物はある
事実2: もしも「「離席するかあるいは艶っぽくない」ということは間違っている」ものはあれば「この四性はラクトースでない」ということは真実である

仮説: 「この四性はラクトースでない」ということは事実だ