Anne is big. Anne is quiet. Anne is white. Erin is blue. Erin is kind. Erin is nice. Erin is quiet. If Anne is smart then Anne is white. If someone is blue and big then they are smart. If Erin is kind and Erin is blue then Erin is white. All blue people are quiet. White people are nice. If someone is white then they are smart. If someone is white then they are quiet. Nice people are white.
Anne is white.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2 OR ((triple3) -> rule7))] Anne is white.[(triple3)] Erin is blue.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6 OR ((((triple5 triple4) -> rule3)) -> rule5))] Erin is quiet.[(triple7 OR ((triple4) -> rule4) OR ((((triple6) -> rule8)) -> rule7) OR ((((triple5 triple4) -> rule3)) -> rule7))] @1: Anne is nice.[(((triple3) -> rule5))] Anne is smart.[(((triple3) -> rule6))] Erin is white.[(((triple6) -> rule8) OR ((triple5 triple4) -> rule3))] @2: Erin is smart.[(((((triple6) -> rule8)) -> rule6) OR ((((triple5 triple4) -> rule3)) -> rule6))]