「あの汐留屋は区分けしないがフォールスだ」ということは本当でない
fact1: なにがしかのものは相手取る fact2: 仮に「相手取る」物はあるとすると「あの汐留屋は区分けしないがそれはフォールスだ」ということは真実である
$facts$ = fact1: なにがしかのものは相手取る fact2: 仮に「相手取る」物はあるとすると「あの汐留屋は区分けしないがそれはフォールスだ」ということは真実である ; $hypothesis$ = 「あの汐留屋は区分けしないがフォールスだ」ということは本当でない ; $proof$ = 
事実1: なにがしかのものは相手取る
事実2: 仮に「相手取る」物はあるとすると「あの汐留屋は区分けしないがそれはフォールスだ」ということは真実である

仮説: 「あの汐留屋は区分けしないがフォールスだ」ということは本当でない