Dave is red. Dave is white. Erin is green. Erin is quiet. Erin is red. Erin is white. Erin is young. Fiona is green. Fiona is quiet. Fiona is red. Fiona is white. Fiona is young. Gary is quiet. Gary is rough. Gary is smart. Gary is young. If something is young then it is rough. All rough things are smart. Red things are smart. All green, rough things are white. If something is green and young then it is white. If something is red and rough then it is smart.
Erin is not smart.
@0: Dave is red.[(triple1)] Dave is white.[(triple2)] Erin is green.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is white.[(triple6 OR ((triple3 triple7) -> rule5) OR ((triple3 ((triple7) -> rule1)) -> rule4))] Erin is young.[(triple7)] Fiona is green.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Fiona is white.[(triple11 OR ((triple8 triple12) -> rule5) OR ((triple8 ((triple12) -> rule1)) -> rule4))] Fiona is young.[(triple12)] Gary is quiet.[(triple13)] Gary is rough.[(triple14 OR ((triple16) -> rule1))] Gary is smart.[(triple15 OR ((triple14) -> rule2) OR ((((triple16) -> rule1)) -> rule2))] Gary is young.[(triple16)] @1: Dave is smart.[(((triple1) -> rule3))] Erin is rough.[(((triple7) -> rule1))] Erin is smart.[(((triple5) -> rule3) OR ((((triple7) -> rule1)) -> rule2) OR ((triple5 ((triple7) -> rule1)) -> rule6))] Fiona is rough.[(((triple12) -> rule1))] Fiona is smart.[(((triple10) -> rule3) OR ((((triple12) -> rule1)) -> rule2) OR ((triple10 ((triple12) -> rule1)) -> rule6))]