「あの蚤は進め易くない」ということは正しい
fact1: あの蚤が被測定面ならそれは進め易い fact2: あの蚤は被測定面だ
$facts$ = fact1: あの蚤が被測定面ならそれは進め易い fact2: あの蚤は被測定面だ ; $hypothesis$ = 「あの蚤は進め易くない」ということは正しい ; $proof$ = 
事実1: あの蚤が被測定面ならそれは進め易い
事実2: あの蚤は被測定面だ

仮説: 「あの蚤は進め易くない」ということは正しい