Charlie is blue. Charlie is green. Charlie is not kind. Charlie is quiet. Charlie is smart. Charlie is young. Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is smart. Dave is young. Gary is green. Gary is not kind. Gary is smart. If someone is furry then they are green. Kind, smart people are not green. If Gary is not young then Gary is kind. If Gary is not furry then Gary is green. If Charlie is not smart then Charlie is not young. If someone is smart and not kind then they are blue.
Dave is furry.
@0: Charlie is blue.[(triple1 OR ((triple5 triple3) -> rule6))] Charlie is green.[(triple2)] Charlie is not kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is smart.[(triple5)] Charlie is young.[(triple6)] Dave is blue.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9 OR ((triple8) -> rule1))] Dave is quiet.[(triple10)] Dave is smart.[(triple11)] Dave is young.[(triple12)] Gary is green.[(triple13)] Gary is not kind.[(triple14)] Gary is smart.[(triple15)] @1: Gary is blue.[(((triple15 triple14) -> rule6))]