Erin is not big. Erin is cold. Erin is green. Erin is quiet. Erin is round. Erin is smart. Erin is white. White, round people are smart. If someone is round and big then they are not smart. All round, green people are smart. Cold people are round. All round people are white. Smart, quiet people are not big.
Erin is smart.
@0: Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is not big.[(triple1 OR ((triple6 triple4) -> rule6) OR ((((triple5 triple3) -> rule3) triple4) -> rule6) OR ((((triple7 triple5) -> rule1) triple4) -> rule6) OR ((((triple7 ((triple2) -> rule4)) -> rule1) triple4) -> rule6) OR ((((((triple2) -> rule4) triple3) -> rule3) triple4) -> rule6) OR ((((((triple5) -> rule5) triple5) -> rule1) triple4) -> rule6) OR ((((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1) triple4) -> rule6) OR ((((((((triple2) -> rule4)) -> rule5) triple5) -> rule1) triple4) -> rule6) OR ((((((((triple2) -> rule4)) -> rule5) ((triple2) -> rule4)) -> rule1) triple4) -> rule6))] Erin is quiet.[(triple4)] Erin is round.[(triple5 OR ((triple2) -> rule4))] Erin is smart.[(triple6 OR ((triple5 triple3) -> rule3) OR ((triple7 triple5) -> rule1) OR ((triple7 ((triple2) -> rule4)) -> rule1) OR ((((triple2) -> rule4) triple3) -> rule3) OR ((((triple5) -> rule5) triple5) -> rule1) OR ((((triple5) -> rule5) ((triple2) -> rule4)) -> rule1) OR ((((((triple2) -> rule4)) -> rule5) triple5) -> rule1) OR ((((((triple2) -> rule4)) -> rule5) ((triple2) -> rule4)) -> rule1))] Erin is white.[(triple7 OR ((triple5) -> rule5) OR ((((triple2) -> rule4)) -> rule5))]