Anne is quiet. Anne is rough. Anne is white. Dave is furry. Dave is green. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Dave is young. Gary is furry. Gary is green. Gary is quiet. Gary is rough. Gary is white. If Gary is quiet then Gary is white. If Anne is green then Anne is white.
Dave is not young.
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Dave is furry.[(triple4)] Dave is green.[(triple5)] Dave is quiet.[(triple6)] Dave is rough.[(triple7)] Dave is smart.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is quiet.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15 OR ((triple13) -> rule1))]