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