Anne is blue. Anne is nice. Erin is big. Erin is nice. Erin is round. Erin is smart. Erin is white. If Erin is white and Erin is big then Erin is nice. If someone is big then they are white. All big, nice people are green. If Anne is round then Anne is nice. If someone is round then they are green. If someone is round then they are nice.
Erin is big.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Erin is big.[(triple3)] Erin is nice.[(triple4 OR ((triple5) -> rule6) OR ((triple7 triple3) -> rule1) OR ((((triple3) -> rule2) triple3) -> rule1))] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple3) -> rule2))] @1: Erin is green.[(((triple5) -> rule5) OR ((triple3 triple4) -> rule3) OR ((triple3 ((triple5) -> rule6)) -> rule3) OR ((triple3 ((triple7 triple3) -> rule1)) -> rule3) OR ((triple3 ((((triple3) -> rule2) triple3) -> rule1)) -> rule3))]