Anne is blue. Anne is cold. Anne is nice. Anne is young. Bob is blue. Bob is nice. Bob is smart. Gary is blue. Gary is cold. Gary is rough. Gary is smart. Gary is young. Smart, rough people are young.
Gary is young.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is young.[(triple4)] Bob is blue.[(triple5)] Bob is nice.[(triple6)] Bob is smart.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is rough.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12 OR ((triple11 triple10) -> rule1))]