あのＰＣＴは弥生人でない
fact1: あのＰＣＴは読み易い fact2: もし仮にあのＰＣＴが読み易いならばそれは弥生人だ
$facts$ = fact1: あのＰＣＴは読み易い fact2: もし仮にあのＰＣＴが読み易いならばそれは弥生人だ ; $hypothesis$ = あのＰＣＴは弥生人でない ; $proof$ = 
事実1: あのＰＣＴは読み易い
事実2: もし仮にあのＰＣＴが読み易いならばそれは弥生人だ

仮説: あのＰＣＴは弥生人でない