Proof in Fitch and counterexample in Tarski's World - From $A \to B$, infer $A \to (B \land C)$. Good official morning community, 
Strengthening the Consequent: From A→B 
A→B
, infer $A \to (B \land C)$.
I know that this proof is invalid and I want to make a counter example to prove that. How can I write $A \to (B \land C)$ and A→B 
A→B
 in Tarski's World. I tried writing sentences but it keeps telling me that it is of the wrong format. 
what I have done so far is that I translated A→B 
A→B
 to tet(a) → 
→
 medium(a)
Would you please help me 

Create $1$ object in Tarski's World, make it a small cube, and label it $a$.
Then $Cube(a) \rightarrow Small(a)$ will evaluate to True, and $Cube(a) \rightarrow (Small(a) \land Tet(a))$ will evaluate to False.
