Anne is green. Anne is red. Charlie is red. Dave is green. Dave is round. Gary is furry. Gary is red. If someone is round then they are nice.
Gary is round.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Charlie is red.[(triple3)] Dave is green.[(triple4)] Dave is round.[(triple5)] Gary is furry.[(triple6)] Gary is red.[(triple7)] @1: Dave is nice.[(((triple5) -> rule1))]