Anne is cold. Anne is furry. Charlie is cold. Charlie is green. Erin is green. Erin is smart. Erin is white. If something is green and furry then it is white. Furry, smart things are big. Big things are smart. If something is furry and green then it is big. If something is cold then it is furry. If something is green and white then it is furry.
Charlie is not smart.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple1) -> rule5))] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Erin is green.[(triple5)] Erin is smart.[(triple6 OR ((((((triple5 triple7) -> rule6) triple5) -> rule4)) -> rule3))] Erin is white.[(triple7)] @1: Charlie is furry.[(((triple3) -> rule5))] Erin is furry.[(((triple5 triple7) -> rule6))] @2: Charlie is big.[(((((triple3) -> rule5) triple4) -> rule4))] Charlie is white.[(((triple4 ((triple3) -> rule5)) -> rule1))] Erin is big.[(((((triple5 triple7) -> rule6) triple5) -> rule4) OR ((((triple5 triple7) -> rule6) triple6) -> rule2))] @3: Charlie is smart.[(((((((triple3) -> rule5) triple4) -> rule4)) -> rule3))]