∀ {V : SSet.Truncated 2} {motive : V.HomotopyCategory → Prop},
  (∀ (x : V.obj (Opposite.op { obj := SimplexCategory.mk 0, property := SSet.OneTruncation₂._proof_1 })),
      motive (SSet.Truncated.HomotopyCategory.mk x)) →
    ∀ (x : V.HomotopyCategory), motive x