Dave is big. Dave is kind. Dave is not rough. Dave is young. Gary is not blue. Gary is not furry. Gary is nice. If something is young and big then it is nice.
Gary is not furry.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Dave is not rough.[(triple3)] Dave is young.[(triple4)] Gary is nice.[(triple7)] Gary is not blue.[(triple5)] Gary is not furry.[(triple6)] @1: Dave is nice.[(((triple4 triple1) -> rule1))]