Bob is nice. Bob is smart. Bob is young. Fiona is white. Gary is furry. Gary is smart. Gary is young. If something is smart and not nice then it is young. If Gary is smart and Gary is young then Gary is blue.
Gary is not smart.
@0: Bob is nice.[(triple1)] Bob is smart.[(triple2)] Bob is young.[(triple3)] Fiona is white.[(triple4)] Gary is furry.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)] @1: Gary is blue.[(((triple6 triple7) -> rule2))]