Dave is big. Dave is furry. Dave is nice. Dave is rough. Dave is white. Erin is big. Erin is furry. Erin is nice. Erin is rough. Erin is smart. Erin is white. Erin is young. Gary is big. Gary is nice. Gary is rough. Gary is young. All smart things are rough. If something is white and smart then it is young.
Gary is big.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is nice.[(triple3)] Dave is rough.[(triple4)] Dave is white.[(triple5)] Erin is big.[(triple6)] Erin is furry.[(triple7)] Erin is nice.[(triple8)] Erin is rough.[(triple9 OR ((triple10) -> rule1))] Erin is smart.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12 OR ((triple11 triple10) -> rule2))] Gary is big.[(triple13)] Gary is nice.[(triple14)] Gary is rough.[(triple15)] Gary is young.[(triple16)]