Dave is young. Erin is smart. Gary is not young. Harry is white. Green things are nice. If something is young then it is not nice. If Gary is not young and Gary is not quiet then Gary is not white. If Erin is not green then Erin is quiet. If something is nice and not white then it is rough. If something is nice and not young then it is not rough. If Dave is white then Dave is not rough. If Dave is not nice then Dave is not rough.
Erin is not young.
@0: Dave is young.[(triple1)] Erin is smart.[(triple2)] Gary is not young.[(triple3)] Harry is white.[(triple4)] @1: Dave is not nice.[(((triple1) -> rule2))] @2: Dave is not rough.[(((((triple1) -> rule2)) -> rule8))]