Bob is blue. Bob is green. Bob is nice. Bob is rough. Bob is smart. Bob is white. Bob is young. Erin is green. Erin is nice. Erin is rough. Erin is smart. Erin is white. Erin is young. Gary is blue. Gary is green. Gary is smart. White, smart people are young.
Bob is white.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple6 triple5) -> rule1))] Erin is green.[(triple8)] Erin is nice.[(triple9)] Erin is rough.[(triple10)] Erin is smart.[(triple11)] Erin is white.[(triple12)] Erin is young.[(triple13 OR ((triple12 triple11) -> rule1))] Gary is blue.[(triple14)] Gary is green.[(triple15)] Gary is smart.[(triple16)]