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