Charlie is blue. Charlie is rough. Charlie is round. Dave is blue. Dave is cold. Dave is green. Dave is kind. Erin is kind. Erin is nice. Erin is rough. Gary is kind. Gary is rough. All nice people are kind. Nice, green people are kind. All nice, cold people are blue. Green people are nice. Rough people are kind. If Erin is rough and Erin is blue then Erin is kind.
Gary is not blue.
@0: Charlie is blue.[(triple1)] Charlie is rough.[(triple2)] Charlie is round.[(triple3)] Dave is blue.[(triple4 OR ((((triple6) -> rule4) triple5) -> rule3))] Dave is cold.[(triple5)] Dave is green.[(triple6)] Dave is kind.[(triple7 OR ((((triple6) -> rule4)) -> rule1) OR ((((triple6) -> rule4) triple6) -> rule2))] Erin is kind.[(triple8 OR ((triple10) -> rule5) OR ((triple9) -> rule1))] Erin is nice.[(triple9)] Erin is rough.[(triple10)] Gary is kind.[(triple11 OR ((triple12) -> rule5))] Gary is rough.[(triple12)] @1: Charlie is kind.[(((triple2) -> rule5))] Dave is nice.[(((triple6) -> rule4))]