∀x (Disposable(x) → DesignedToBeOnlyUsedOnce(x))
∃x (EcoFriendly(x))
∀x (UsedIn(x, tomsHouse) → Disposable(x) ⊕ Reusable(x))
∀x (MadeFrom(x, metal) → ¬MadeFrom(x, plastic))
∀x (Reusable(x) → MadeFrom(x, metal))
¬(MadeFrom(chopsticksUsedInTomsHouse, metal) ⊕ MadeFrom(chopsticksUsedInTomsHouse, plastic))
EcoFriendly(chopsticks)