Anne is quiet. Anne is white. Erin is big. Erin is furry. Gary is quiet. Gary is not white. Harry is kind. If Anne is red then Anne is not cold. All big things are quiet. If something is big then it is quiet. If Gary is cold and Gary is big then Gary is not red. Big, quiet things are cold. If something is furry and not kind then it is cold. If Erin is quiet and Erin is cold then Erin is white. If something is white and not quiet then it is furry.
Anne is white.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Erin is big.[(triple3)] Erin is furry.[(triple4)] Gary is not white.[(triple6)] Gary is quiet.[(triple5)] Harry is kind.[(triple7)] @1: Erin is quiet.[(((triple3) -> rule2) OR ((triple3) -> rule3))] @2: Erin is cold.[(((triple3 ((triple3) -> rule2)) -> rule5) OR ((triple3 ((triple3) -> rule3)) -> rule5))] @3: Erin is white.[(((((triple3) -> rule2) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule7) OR ((((triple3) -> rule2) ((triple3 ((triple3) -> rule3)) -> rule5)) -> rule7) OR ((((triple3) -> rule3) ((triple3 ((triple3) -> rule2)) -> rule5)) -> rule7) OR ((((triple3) -> rule3) ((triple3 ((triple3) -> rule3)) -> rule5)) -> rule7))]