Anne is cold. Anne is kind. Anne is rough. Anne is white. Dave is blue. Dave is green. Dave is kind. Dave is rough. Dave is white. Erin is blue. Erin is green. Erin is kind. Erin is red. Gary is kind. Gary is red. Gary is white. All kind people are blue. If someone is white then they are red.
Gary is cold.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4)] Dave is blue.[(triple5 OR ((triple7) -> rule1))] Dave is green.[(triple6)] Dave is kind.[(triple7)] Dave is rough.[(triple8)] Dave is white.[(triple9)] Erin is blue.[(triple10 OR ((triple12) -> rule1))] Erin is green.[(triple11)] Erin is kind.[(triple12)] Erin is red.[(triple13)] Gary is kind.[(triple14)] Gary is red.[(triple15 OR ((triple16) -> rule2))] Gary is white.[(triple16)] @1: Anne is blue.[(((triple2) -> rule1))] Anne is red.[(((triple4) -> rule2))] Dave is red.[(((triple9) -> rule2))] Gary is blue.[(((triple14) -> rule1))]