Dave is blue. Dave is green. Dave is kind. Dave is rough. Dave is round. Dave is smart. Dave is young. Erin is blue. Erin is green. Erin is kind. Erin is rough. Erin is round. Erin is smart. Erin is young. If someone is round then they are rough. If someone is green then they are smart. If Dave is rough and Dave is young then Dave is smart.
Erin is not green.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is rough.[(triple4 OR ((triple5) -> rule1))] Dave is round.[(triple5)] Dave is smart.[(triple6 OR ((triple2) -> rule2) OR ((triple4 triple7) -> rule3) OR ((((triple5) -> rule1) triple7) -> rule3))] Dave is young.[(triple7)] Erin is blue.[(triple8)] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is rough.[(triple11 OR ((triple12) -> rule1))] Erin is round.[(triple12)] Erin is smart.[(triple13 OR ((triple9) -> rule2))] Erin is young.[(triple14)]