Anne is green. Bob is cold. Bob is green. Erin is green. Erin is round. Gary is furry. Gary is not green. Round, green people are cold. If someone is round and cold then they are nice.
Gary is kind.
@0: Anne is green.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Erin is green.[(triple4)] Erin is round.[(triple5)] Gary is furry.[(triple6)] Gary is not green.[(triple7)] @1: Erin is cold.[(((triple5 triple4) -> rule1))] @2: Erin is nice.[(((triple5 ((triple5 triple4) -> rule1)) -> rule2))]