Bob is blue. Bob is quiet. Bob is rough. Bob is young. Dave is big. Dave is furry. Dave is green. Dave is rough. Dave is young. Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is quiet. Gary is rough. Gary is young. All rough, furry people are green.
Dave is not rough.
@0: Bob is blue.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is young.[(triple4)] Dave is big.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7 OR ((triple8 triple6) -> rule1))] Dave is rough.[(triple8)] Dave is young.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13 OR ((triple15 triple12) -> rule1))] Gary is quiet.[(triple14)] Gary is rough.[(triple15)] Gary is young.[(triple16)]