Bob is round. Erin is cold. Gary is quiet. Harry is round. Cold people are rough. All cold, smart people are white. If someone is furry and quiet then they are white.
Gary is not smart.
@0: Bob is round.[(triple1)] Erin is cold.[(triple2)] Gary is quiet.[(triple3)] Harry is round.[(triple4)] @1: Erin is rough.[(((triple2) -> rule1))]