Premise: We know that type very well since we live on one.

Hypothesis: We have never seen a type like that before.
Relation: contradiction