Bob is furry. Bob is quiet. Bob is rough. Bob is round. Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is rough. Erin is round. Erin is young. Gary is cold. Gary is furry. Gary is nice. Gary is round. Gary is young. Furry people are round.
Bob is not young.
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4 OR ((triple1) -> rule1))] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Erin is rough.[(triple9)] Erin is round.[(triple10 OR ((triple6) -> rule1))] Erin is young.[(triple11)] Gary is cold.[(triple12)] Gary is furry.[(triple13)] Gary is nice.[(triple14)] Gary is round.[(triple15 OR ((triple13) -> rule1))] Gary is young.[(triple16)]