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