Charlie is blue. Charlie is furry. Charlie is round. Dave is furry. Dave is nice. Dave is red. Dave is round. Dave is white. Gary is furry. Gary is green. Gary is white. Harry is furry. Red things are green.
Gary is red.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is round.[(triple3)] Dave is furry.[(triple4)] Dave is nice.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7)] Dave is white.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is white.[(triple11)] Harry is furry.[(triple12)] @1: Dave is green.[(((triple6) -> rule1))]