Charlie is red. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is red. Gary is blue. Harry is blue. Harry is cold. Harry is green. All red people are furry.
Gary is blue.
@0: Charlie is red.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is red.[(triple6)] Gary is blue.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10)] @1: Charlie is furry.[(((triple1) -> rule1))] Dave is furry.[(((triple6) -> rule1))]