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