Anne is blue. Anne is nice. Bob is kind. Erin is blue. Erin is round. Gary is nice. Gary is rough. If Bob is red then Bob is rough. Kind things are blue. Cold things are round.
Anne is nice.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Bob is kind.[(triple3)] Erin is blue.[(triple4)] Erin is round.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)] @1: Bob is blue.[(((triple3) -> rule2))]