あの五種類は大差無い
fact1: もしもその十六ビット処理系が貧乏臭いとしたらあの五種類は大差無い fact2: その十六ビット処理系は貧乏臭い
$facts$ = fact1: もしもその十六ビット処理系が貧乏臭いとしたらあの五種類は大差無い fact2: その十六ビット処理系は貧乏臭い ; $hypothesis$ = あの五種類は大差無い ; $proof$ = 
事実1: もしもその十六ビット処理系が貧乏臭いとしたらあの五種類は大差無い
事実2: その十六ビット処理系は貧乏臭い

仮説: あの五種類は大差無い