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.
Erin is not rough.
@0: Bob is round.[(triple1)] Erin is cold.[(triple2)] Gary is quiet.[(triple3)] Harry is round.[(triple4)] @1: Erin is rough.[(((triple2) -> rule1))]