Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Dave is young. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Erin is young. All green people are smart. Smart people are quiet. All rough people are young. If someone is green and rough then they are young. All green people are quiet. If someone is quiet then they are smart.
Erin is not smart.
@0: Dave is green.[(triple1)] Dave is nice.[(triple2)] Dave is quiet.[(triple3 OR ((triple1) -> rule5) OR ((triple6) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6 OR ((triple1) -> rule1) OR ((triple3) -> rule6) OR ((((triple1) -> rule5)) -> rule6))] Dave is young.[(triple7 OR ((triple5) -> rule3) OR ((triple1 triple5) -> rule4))] Erin is green.[(triple8)] Erin is nice.[(triple9)] Erin is quiet.[(triple10 OR ((triple13) -> rule2) OR ((triple8) -> rule5) OR ((((triple8) -> rule1)) -> rule2))] Erin is red.[(triple11)] Erin is rough.[(triple12)] Erin is smart.[(triple13 OR ((triple10) -> rule6) OR ((triple8) -> rule1) OR ((((triple8) -> rule5)) -> rule6))] Erin is young.[(triple14 OR ((triple12) -> rule3) OR ((triple8 triple12) -> rule4))]