Dave is blue. Dave is green. Dave is kind. Dave is not white. Erin is not blue. Erin is not furry. Erin is not white. Gary is blue. Gary is green. Gary is kind. Gary is white. Gary is young. If something is young then it is white. Furry things are not kind. If Erin is not green then Erin is kind. If Erin is white and Erin is furry then Erin is young. If Dave is not kind then Dave is not green. If something is young and green then it is blue. If something is young and not kind then it is blue. If something is kind and not blue then it is rough.
Erin is not rough.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is not white.[(triple4)] Erin is not blue.[(triple5)] Erin is not furry.[(triple6)] Erin is not white.[(triple7)] Gary is blue.[(triple8 OR ((triple12 triple9) -> rule6))] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is white.[(triple11 OR ((triple12) -> rule1))] Gary is young.[(triple12)]