その述語は読み辛い
fact1: 仮にあの読み直しが掃除し易いかそれが塩っ辛いかもしくは両方であるとしたらその述語は読み辛くない fact2: あの読み直しは掃除し易いかまたはそれは塩っ辛いかもしくは両方だ
$facts$ = fact1: 仮にあの読み直しが掃除し易いかそれが塩っ辛いかもしくは両方であるとしたらその述語は読み辛くない fact2: あの読み直しは掃除し易いかまたはそれは塩っ辛いかもしくは両方だ ; $hypothesis$ = その述語は読み辛い ; $proof$ = 
事実1: 仮にあの読み直しが掃除し易いかそれが塩っ辛いかもしくは両方であるとしたらその述語は読み辛くない
事実2: あの読み直しは掃除し易いかまたはそれは塩っ辛いかもしくは両方だ

仮説: その述語は読み辛い