Bob is white. Erin is furry. Gary is blue. Harry is smart. Blue people are smart. If someone is white and furry then they are rough. Young, rough people are blue.
Bob is white.
@0: Bob is white.[(triple1)] Erin is furry.[(triple2)] Gary is blue.[(triple3)] Harry is smart.[(triple4)] @1: Gary is smart.[(((triple3) -> rule1))]