Anne is blue. Anne is cold. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is smart. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. If someone is kind and nice then they are cold.
Anne is rough.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple3 triple4) -> rule1))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is smart.[(triple7)] Charlie is blue.[(triple8)] Charlie is cold.[(triple9 OR ((triple10 triple11) -> rule1))] Charlie is kind.[(triple10)] Charlie is nice.[(triple11)] Charlie is red.[(triple12)] Charlie is rough.[(triple13)] Charlie is smart.[(triple14)]