Bob is not rough. Dave is kind. Dave is young. Gary is blue. Gary is nice. Gary is smart. Harry is kind. If someone is rough and not kind then they are young. If someone is furry and young then they are nice. All young people are not blue.
Gary is smart.
@0: Bob is not rough.[(triple1)] Dave is kind.[(triple2)] Dave is young.[(triple3)] Gary is blue.[(triple4)] Gary is nice.[(triple5)] Gary is smart.[(triple6)] Harry is kind.[(triple7)] @1: Dave is not blue.[(((triple3) -> rule3))]