Dave is big. Dave is green. Dave is kind. Dave is nice. Gary is green. Gary is not nice. Gary is young. If someone is nice then they are not young. All smart people are not furry. If someone is big and smart then they are green. If Dave is big and Dave is nice then Dave is furry. If Gary is not young then Gary is green. If Gary is green and Gary is smart then Gary is furry.
Gary is not young.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Gary is green.[(triple5)] Gary is not nice.[(triple6)] Gary is young.[(triple7)] @1: Dave is furry.[(((triple1 triple4) -> rule4))] Dave is not young.[(((triple4) -> rule1))]