Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is smart. Erin is white. If Erin is white then Erin is smart. All nice, green people are red. If someone is red and smart then they are rough.
Erin is green.
@0: Erin is green.[(triple1)] Erin is kind.[(triple2)] Erin is nice.[(triple3)] Erin is red.[(triple4 OR ((triple3 triple1) -> rule2))] Erin is rough.[(triple5 OR ((triple4 triple6) -> rule3) OR ((triple4 ((triple7) -> rule1)) -> rule3) OR ((((triple3 triple1) -> rule2) triple6) -> rule3) OR ((((triple3 triple1) -> rule2) ((triple7) -> rule1)) -> rule3))] Erin is smart.[(triple6 OR ((triple7) -> rule1))] Erin is white.[(triple7)]