Charlie is red. Harry is cold. If Harry is smart then Harry is big. If Harry is nice and Harry is red then Harry is big. If something is red then it is big.
Harry is not big.
@0: Charlie is red.[(triple1)] Harry is cold.[(triple2)] @1: Charlie is big.[(((triple1) -> rule3))]