Anne is cold. Anne is kind. Anne is red. Anne is rough. Anne is round. Anne is smart. Anne is young. Charlie is not cold. Charlie is not kind. Charlie is red. Charlie is not rough. Charlie is round. Charlie is smart. Charlie is young. If something is smart then it is young.
Charlie is not young.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple6) -> rule1))] Charlie is not cold.[(triple8)] Charlie is not kind.[(triple9)] Charlie is not rough.[(triple11)] Charlie is red.[(triple10)] Charlie is round.[(triple12)] Charlie is smart.[(triple13)] Charlie is young.[(triple14 OR ((triple13) -> rule1))]