そのブルドーザは約四千人でない
fact1: そのブルドーザは一種類である fact2: もしそのブルドーザは一種類であるとしたらそれは約四千人である
$facts$ = fact1: そのブルドーザは一種類である fact2: もしそのブルドーザは一種類であるとしたらそれは約四千人である ; $hypothesis$ = そのブルドーザは約四千人でない ; $proof$ = 
事実1: そのブルドーザは一種類である
事実2: もしそのブルドーザは一種類であるとしたらそれは約四千人である

仮説: そのブルドーザは約四千人でない