Anne is blue. Anne is cold. Anne is kind. Anne is nice. Anne is round. Bob is not blue. Bob is green. Bob is nice. Bob is round. Bob is white. Charlie is green. Charlie is round. Harry is kind. Harry is nice. Harry is round. If Charlie is blue and Charlie is round then Charlie is kind. All nice, white things are cold.
Anne is white.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is round.[(triple5)] Bob is green.[(triple7)] Bob is nice.[(triple8)] Bob is not blue.[(triple6)] Bob is round.[(triple9)] Bob is white.[(triple10)] Charlie is green.[(triple11)] Charlie is round.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is round.[(triple15)] @1: Bob is cold.[(((triple8 triple10) -> rule2))]