Anne is blue. Anne is cold. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is not round. Charlie is white. Gary is not blue. Gary is quiet. Gary is not round. Harry is not blue. If something is cold then it is round.
Charlie is white.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Charlie is blue.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is not round.[(triple7)] Charlie is quiet.[(triple6)] Charlie is white.[(triple8)] Gary is not blue.[(triple9)] Gary is not round.[(triple11)] Gary is quiet.[(triple10)] Harry is not blue.[(triple12)] @1: Anne is round.[(((triple2) -> rule1))]