Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is rough. Dave is young. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is young. Red, rough people are green. Young, green people are red. If someone is young then they are nice.
Erin is not rough.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2 OR ((triple5 triple6) -> rule1))] Dave is kind.[(triple3)] Dave is nice.[(triple4 OR ((triple7) -> rule3))] Dave is red.[(triple5 OR ((triple7 triple2) -> rule2))] Dave is rough.[(triple6)] Dave is young.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9 OR ((triple12 triple13) -> rule1))] Erin is kind.[(triple10)] Erin is nice.[(triple11 OR ((triple14) -> rule3))] Erin is red.[(triple12 OR ((triple14 triple9) -> rule2))] Erin is rough.[(triple13)] Erin is young.[(triple14)]