Anne is cold. Anne is kind. Anne is quiet. Anne is rough. Anne is smart. Anne is white. Anne is young. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. If someone is kind and rough then they are cold. All smart, white people are kind.
Anne is white.
@0: Anne is cold.[(triple1 OR ((triple2 triple4) -> rule1) OR ((((triple5 triple6) -> rule2) triple4) -> rule1))] Anne is kind.[(triple2 OR ((triple5 triple6) -> rule2))] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Charlie is cold.[(triple8 OR ((triple9 triple11) -> rule1) OR ((((triple12 triple13) -> rule2) triple11) -> rule1))] Charlie is kind.[(triple9 OR ((triple12 triple13) -> rule2))] Charlie is quiet.[(triple10)] Charlie is rough.[(triple11)] Charlie is smart.[(triple12)] Charlie is white.[(triple13)] Charlie is young.[(triple14)]