Dave is big. Dave is green. Dave is nice. Dave is red. Dave is young. Gary is big. Gary is green. Gary is kind. Gary is red. Gary is white. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is white. All young people are nice.
Gary is not nice.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3 OR ((triple5) -> rule1))] Dave is red.[(triple4)] Dave is young.[(triple5)] Gary is big.[(triple6)] Gary is green.[(triple7)] Gary is kind.[(triple8)] Gary is red.[(triple9)] Gary is white.[(triple10)] Harry is big.[(triple11)] Harry is green.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is red.[(triple15)] Harry is white.[(triple16)]