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