Anne is nice. Anne is rough. Anne is round. Charlie is cold. Charlie is green. Gary is blue. Gary is nice. Gary is rough. Gary is round. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is rough. Harry is white. All rough people are cold.
Anne is not blue.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Charlie is cold.[(triple4)] Charlie is green.[(triple5)] Gary is blue.[(triple6)] Gary is nice.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11 OR ((triple14) -> rule1))] Harry is green.[(triple12)] Harry is nice.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)] @1: Anne is cold.[(((triple2) -> rule1))] Gary is cold.[(((triple8) -> rule1))]