あの建設機械は望ましくて更に読み取りだ
fact1: あの建設機械は読み取りである fact2: あの建設機械は望ましい
$facts$ = fact1: あの建設機械は読み取りである fact2: あの建設機械は望ましい ; $hypothesis$ = あの建設機械は望ましくて更に読み取りだ ; $proof$ = 
事実1: あの建設機械は読み取りである
事実2: あの建設機械は望ましい

仮説: あの建設機械は望ましくて更に読み取りだ