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