Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is round. If Erin is quiet and Erin is green then Erin is round. If Erin is not quiet then Erin is not nice. If something is big then it is furry. If something is furry and not nice then it is big. If something is blue and not green then it is big. Furry, green things are round. If something is round and nice then it is blue. If Erin is round then Erin is blue.
Erin is not round.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple7) -> rule8) OR ((triple7 triple5) -> rule7) OR ((((triple3 triple4) -> rule6)) -> rule8) OR ((((triple6 triple4) -> rule1)) -> rule8) OR ((((triple3 triple4) -> rule6) triple5) -> rule7) OR ((((triple6 triple4) -> rule1) triple5) -> rule7) OR ((((((triple1) -> rule3) triple4) -> rule6)) -> rule8) OR ((((((triple1) -> rule3) triple4) -> rule6) triple5) -> rule7))] Erin is furry.[(triple3 OR ((triple1) -> rule3))] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is quiet.[(triple6)] Erin is round.[(triple7 OR ((triple3 triple4) -> rule6) OR ((triple6 triple4) -> rule1) OR ((((triple1) -> rule3) triple4) -> rule6))]