Anne is green. Anne is rough. Anne is round. Anne is young. Dave is blue. Dave is cold. Dave is green. Dave is rough. Dave is round. Dave is young. Erin is round. Erin is white. Blue, round people are green. Young people are cold. If someone is young and rough then they are cold. If someone is green then they are cold. All white, young people are cold. If Dave is young and Dave is not white then Dave is not green. White, round people are blue. If someone is rough and not round then they are not young.
Erin is green.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6 OR ((triple10) -> rule2) OR ((triple7) -> rule4) OR ((triple10 triple8) -> rule3) OR ((((triple5 triple9) -> rule1)) -> rule4))] Dave is green.[(triple7 OR ((triple5 triple9) -> rule1))] Dave is rough.[(triple8)] Dave is round.[(triple9)] Dave is young.[(triple10)] Erin is round.[(triple11)] Erin is white.[(triple12)] @1: Anne is cold.[(((triple1) -> rule4) OR ((triple4) -> rule2) OR ((triple4 triple2) -> rule3))] Erin is blue.[(((triple12 triple11) -> rule7))] @2: Erin is green.[(((((triple12 triple11) -> rule7) triple11) -> rule1))] @3: Erin is cold.[(((((((triple12 triple11) -> rule7) triple11) -> rule1)) -> rule4))]