Bob is furry. Bob is nice. Bob is quiet. Bob is rough. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Fiona is furry. Fiona is round. Harry is green. Harry is nice. If Harry is nice then Harry is rough. If something is nice and furry then it is rough.
Dave is furry.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4 OR ((triple2 triple1) -> rule2))] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is nice.[(triple7)] Dave is quiet.[(triple8)] Fiona is furry.[(triple9)] Fiona is round.[(triple10)] Harry is green.[(triple11)] Harry is nice.[(triple12)] @1: Dave is rough.[(((triple7 triple5) -> rule2))] Harry is rough.[(((triple12) -> rule1))]