Bob is round. Charlie is cold. Erin is smart. Gary is not green. If someone is red and not quiet then they are furry. If Charlie is green then Charlie is smart. Smart, cold people are red. If someone is round then they are cold. If someone is red then they are cold. Round, cold people are smart.
Gary is round.
@0: Bob is round.[(triple1)] Charlie is cold.[(triple2)] Erin is smart.[(triple3)] Gary is not green.[(triple4)] @1: Bob is cold.[(((triple1) -> rule4))] @2: Bob is smart.[(((triple1 ((triple1) -> rule4)) -> rule6))] @3: Bob is red.[(((((triple1 ((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule3))]