Dave is blue. Dave is furry. Dave is kind. Dave is nice. Dave is rough. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is rough. If something is green then it is kind. Furry, green things are nice.
Dave is not green.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is rough.[(triple5)] Harry is blue.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8)] Harry is kind.[(triple9 OR ((triple8) -> rule1))] Harry is nice.[(triple10 OR ((triple7 triple8) -> rule2))] Harry is red.[(triple11)] Harry is rough.[(triple12)]