Charlie is blue. Charlie is furry. Charlie is kind. Charlie is young. Dave is big. Dave is blue. Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is young. Gary is blue. Gary is furry. Gary is nice. Gary is red. All nice people are young.
Dave is not nice.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is young.[(triple4)] Dave is big.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Dave is red.[(triple10)] Dave is young.[(triple11 OR ((triple9) -> rule1))] Gary is blue.[(triple12)] Gary is furry.[(triple13)] Gary is nice.[(triple14)] Gary is red.[(triple15)] @1: Gary is young.[(((triple14) -> rule1))]