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