Dave is furry. Dave is green. Dave is nice. Dave is rough. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is rough. Erin is young. Fiona is blue. Fiona is green. Fiona is kind. Fiona is young. Harry is nice. Harry is young. All furry, green things are rough.
Dave is not nice.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is rough.[(triple4 OR ((triple1 triple2) -> rule1))] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is rough.[(triple9 OR ((triple6 triple7) -> rule1))] Erin is young.[(triple10)] Fiona is blue.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is young.[(triple14)] Harry is nice.[(triple15)] Harry is young.[(triple16)]