Anne is cold. Anne is smart. Charlie is blue. Charlie is cold. Charlie is not furry. Charlie is nice. Erin is blue. If someone is smart and furry then they are kind. If someone is nice and cold then they are kind. If Erin is cold and Erin is not quiet then Erin is smart. If someone is kind and quiet then they are nice. Nice people are not smart. All nice people are not furry. If Charlie is smart and Charlie is not cold then Charlie is blue. If Anne is cold then Anne is kind.
Charlie is cold.
@0: Anne is cold.[(triple1)] Anne is smart.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is nice.[(triple6)] Charlie is not furry.[(triple5 OR ((triple6) -> rule6))] Erin is blue.[(triple7)] @1: Anne is kind.[(((triple1) -> rule8))] Charlie is kind.[(((triple6 triple4) -> rule2))] Charlie is not smart.[(((triple6) -> rule5))]