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