Bob is big. Bob is green. Bob is red. Bob is rough. Bob is young. Gary is big. Gary is blue. Gary is cold. Gary is not green. Gary is rough. Young things are cold.
Gary is rough.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is young.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is not green.[(triple9)] Gary is rough.[(triple10)] @1: Bob is cold.[(((triple5) -> rule1))]