Erin is big. Erin is blue. Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is young. If something is red and kind then it is big. If Erin is nice then Erin is round. If something is kind then it is nice. If Erin is young and Erin is blue then Erin is round. If something is big and round then it is red. If Erin is young then Erin is round.
Erin is nice.
@0: Erin is big.[(triple1 OR ((triple5 triple3) -> rule1))] Erin is blue.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4 OR ((triple3) -> rule3))] Erin is red.[(triple5 OR ((triple1 triple6) -> rule5) OR ((triple1 ((triple4) -> rule2)) -> rule5) OR ((triple1 ((triple7) -> rule6)) -> rule5) OR ((triple1 ((triple7 triple2) -> rule4)) -> rule5) OR ((triple1 ((((triple3) -> rule3)) -> rule2)) -> rule5))] Erin is round.[(triple6 OR ((triple4) -> rule2) OR ((triple7) -> rule6) OR ((triple7 triple2) -> rule4) OR ((((triple3) -> rule3)) -> rule2))] Erin is young.[(triple7)]