Dave is green. Dave is rough. Erin is blue. Erin is red. Erin is smart. Erin is white. Gary is not blue. Gary is not quiet. Gary is red. Gary is rough. Harry is blue. Harry is green. Harry is quiet. Harry is red. Harry is rough. Harry is white. If Gary is smart and Gary is blue then Gary is not quiet. If Gary is white and Gary is quiet then Gary is green. If Harry is quiet and Harry is smart then Harry is not green. Smart, white people are rough. If someone is smart and not green then they are rough. White people are rough.
Dave is white.
@0: Dave is green.[(triple1)] Dave is rough.[(triple2)] Erin is blue.[(triple3)] Erin is red.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Gary is not blue.[(triple7)] Gary is not quiet.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] Harry is blue.[(triple11)] Harry is green.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15 OR ((triple16) -> rule6))] Harry is white.[(triple16)] @1: Erin is rough.[(((triple6) -> rule6) OR ((triple5 triple6) -> rule4))]