Dave is big. Dave is green. Dave is nice. Dave is rough. Dave is round. Dave is smart. Dave is young. Gary is big. Gary is green. Gary is nice. Gary is rough. Gary is round. Gary is smart. Gary is young. Round, smart people are big.
Gary is rough.
@0: Dave is big.[(triple1 OR ((triple5 triple6) -> rule1))] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] Gary is big.[(triple8 OR ((triple12 triple13) -> rule1))] Gary is green.[(triple9)] Gary is nice.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12)] Gary is smart.[(triple13)] Gary is young.[(triple14)]