Bob is blue. Bob is furry. Bob is kind. Bob is smart. Bob is young. Gary is smart. Gary is white. Young things are nice.
Bob is not nice.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is smart.[(triple4)] Bob is young.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)] @1: Bob is nice.[(((triple5) -> rule1))]