Charlie is white. Erin is furry. Gary is white. Harry is smart. If Erin is round and Erin is not young then Erin is furry. If someone is rough and not young then they are not white. If someone is smart then they are round.
Erin is not furry.
@0: Charlie is white.[(triple1)] Erin is furry.[(triple2)] Gary is white.[(triple3)] Harry is smart.[(triple4)] @1: Harry is round.[(((triple4) -> rule3))]