Anne is blue. Anne is cold. Anne is smart. Bob is blue. Bob is furry. Bob is red. Bob is smart. Bob is white. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is white. All red, white things are smart. If Anne is smart then Anne is white. If something is furry then it is kind. If something is white and furry then it is blue. Furry things are blue. If Charlie is smart and Charlie is red then Charlie is cold.
Bob is not smart.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is smart.[(triple3)] Bob is blue.[(triple4 OR ((triple5) -> rule5) OR ((triple8 triple5) -> rule4))] Bob is furry.[(triple5)] Bob is red.[(triple6)] Bob is smart.[(triple7 OR ((triple6 triple8) -> rule1))] Bob is white.[(triple8)] Charlie is blue.[(triple9 OR ((triple10) -> rule5) OR ((triple12 triple10) -> rule4))] Charlie is furry.[(triple10)] Charlie is kind.[(triple11 OR ((triple10) -> rule3))] Charlie is white.[(triple12)] @1: Anne is white.[(((triple3) -> rule2))] Bob is kind.[(((triple5) -> rule3))]