Bob is big. Bob is green. Bob is kind. Bob is nice. Bob is not smart. Bob is white. Bob is young. Gary is big. Gary is green. Gary is not kind. Gary is nice. Gary is smart. Gary is not white. Gary is young. If someone is green and kind then they are young.
Gary is not nice.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple2 triple3) -> rule1))] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple11)] Gary is not kind.[(triple10)] Gary is not white.[(triple13)] Gary is smart.[(triple12)] Gary is young.[(triple14)]