Dave is big. Dave is furry. Dave is kind. Dave is rough. Dave is smart. Dave is white. Dave is young. Gary is big. Gary is furry. Gary is kind. Gary is rough. Gary is smart. Gary is white. Gary is young. If Dave is young and Dave is rough then Dave is kind.
Dave is white.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple7 triple4) -> rule1))] Dave is rough.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12)] Gary is white.[(triple13)] Gary is young.[(triple14)]