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