Erin is big. Erin is cold. Erin is green. Erin is quiet. Erin is rough. Erin is round. Erin is young. If Erin is young and Erin is green then Erin is big. If Erin is cold and Erin is young then Erin is big. All rough, big things are quiet. If Erin is quiet then Erin is rough. If Erin is young then Erin is big. If Erin is young then Erin is rough.
Erin is round.
@0: Erin is big.[(triple1 OR ((triple7) -> rule5) OR ((triple2 triple7) -> rule2) OR ((triple7 triple3) -> rule1))] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is quiet.[(triple4 OR ((triple5 triple1) -> rule3) OR ((triple5 ((triple7) -> rule5)) -> rule3) OR ((triple5 ((triple2 triple7) -> rule2)) -> rule3) OR ((triple5 ((triple7 triple3) -> rule1)) -> rule3) OR ((((triple7) -> rule6) triple1) -> rule3) OR ((((triple7) -> rule6) ((triple7) -> rule5)) -> rule3) OR ((((triple7) -> rule6) ((triple2 triple7) -> rule2)) -> rule3) OR ((((triple7) -> rule6) ((triple7 triple3) -> rule1)) -> rule3))] Erin is rough.[(triple5 OR ((triple4) -> rule4) OR ((triple7) -> rule6))] Erin is round.[(triple6)] Erin is young.[(triple7)]