Anne is blue. Anne is cold. Anne is quiet. Anne is round. Anne is white. Erin is cold. Erin is white. All blue, white people are smart. If someone is round then they are quiet. If Erin is smart then Erin is white. All round people are smart. White people are smart. All smart people are round.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is quiet.[(triple3 OR ((triple4) -> rule2) OR ((((((triple5) -> rule5)) -> rule6)) -> rule2) OR ((((((triple1 triple5) -> rule1)) -> rule6)) -> rule2))] Anne is round.[(triple4 OR ((((triple5) -> rule5)) -> rule6) OR ((((triple1 triple5) -> rule1)) -> rule6))] Anne is white.[(triple5)] Erin is cold.[(triple6)] Erin is white.[(triple7)] @1: Anne is smart.[(((triple4) -> rule4) OR ((triple5) -> rule5) OR ((triple1 triple5) -> rule1))] Erin is smart.[(((triple7) -> rule5))] @2: Erin is round.[(((((triple7) -> rule5)) -> rule6))] @3: Erin is quiet.[(((((((triple7) -> rule5)) -> rule6)) -> rule2))]