Anne is not white. Charlie is blue. Charlie is cold. Charlie is not nice. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. Harry is nice. Harry is smart. Harry is white. Harry is young. All blue things are young. If something is young and not smart then it is red.
Harry is not red.
@0: Anne is not white.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is not nice.[(triple4)] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Charlie is young.[(triple8 OR ((triple2) -> rule1))] Harry is nice.[(triple9)] Harry is smart.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)]