Bob is blue. Bob is cold. Bob is green. Bob is round. Bob is white. Gary is big. Gary is cold. Gary is green. Gary is round. Gary is not white. All round, big people are rough.
Gary is not green.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is green.[(triple8)] Gary is not white.[(triple10)] Gary is round.[(triple9)] @1: Gary is rough.[(((triple9 triple6) -> rule1))]