Erin is cold. Erin is green. Erin is red. Erin is rough. Erin is round. Erin is white. Erin is young. Green people are white. White, red people are young. If Erin is young then Erin is rough.
Erin is not rough.
@0: Erin is cold.[(triple1)] Erin is green.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4 OR ((triple7) -> rule3) OR ((((triple6 triple3) -> rule2)) -> rule3) OR ((((((triple2) -> rule1) triple3) -> rule2)) -> rule3))] Erin is round.[(triple5)] Erin is white.[(triple6 OR ((triple2) -> rule1))] Erin is young.[(triple7 OR ((triple6 triple3) -> rule2) OR ((((triple2) -> rule1) triple3) -> rule2))]