Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is rough. Dave is round. Erin is furry. Fiona is nice. Harry is blue. Harry is green. Harry is round. If someone is round then they are green. All kind, round people are furry.
Harry is not furry.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2 OR ((triple4 triple7) -> rule2))] Dave is green.[(triple3 OR ((triple7) -> rule1))] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is rough.[(triple6)] Dave is round.[(triple7)] Erin is furry.[(triple8)] Fiona is nice.[(triple9)] Harry is blue.[(triple10)] Harry is green.[(triple11 OR ((triple12) -> rule1))] Harry is round.[(triple12)]