Anne is furry. Anne is nice. Anne is red. Charlie is cold. Charlie is nice. Charlie is red. Charlie is smart. If Anne is nice and Anne is big then Anne is red. Cold things are big. If Charlie is nice and Charlie is red then Charlie is furry. If Anne is smart then Anne is nice. If Charlie is cold and Charlie is big then Charlie is smart. All red, nice things are cold. Big things are smart. If something is nice and cold then it is red.
Anne is smart.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Charlie is cold.[(triple4 OR ((triple6 triple5) -> rule6))] Charlie is nice.[(triple5)] Charlie is red.[(triple6 OR ((triple5 triple4) -> rule8))] Charlie is smart.[(triple7 OR ((((triple4) -> rule2)) -> rule7) OR ((triple4 ((triple4) -> rule2)) -> rule5) OR ((((triple6 triple5) -> rule6) ((triple4) -> rule2)) -> rule5) OR ((((((triple6 triple5) -> rule6)) -> rule2)) -> rule7) OR ((triple4 ((((triple6 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple5) -> rule6) ((((triple6 triple5) -> rule6)) -> rule2)) -> rule5))] @1: Anne is cold.[(((triple3 triple2) -> rule6))] Charlie is big.[(((triple4) -> rule2) OR ((((triple6 triple5) -> rule6)) -> rule2))] Charlie is furry.[(((triple5 triple6) -> rule3) OR ((triple5 ((triple5 triple4) -> rule8)) -> rule3))] @2: Anne is big.[(((((triple3 triple2) -> rule6)) -> rule2))] @3: Anne is smart.[(((((((triple3 triple2) -> rule6)) -> rule2)) -> rule7))]