This is not a math problem. Because there is no philosophy to choose in the subject.
premises:∀x [(Cube(x) ∧ Large(x)) ∨ (Tet(x) ∧ Small(x))]
∀x [Tet(x) → BackOf(x, c)]
conclusion:∀x [Small(x) → BackOf(x, c)]
give an informal proof. If it is not valid, use Tarski's World to construct a counter example.