Bob is furry. Charlie is kind. Charlie is quiet. Charlie is rough. Dave is rough. Dave is round. Harry is kind. All blue people are round. If someone is rough and quiet then they are kind.
Dave is not rough.
@0: Bob is furry.[(triple1)] Charlie is kind.[(triple2 OR ((triple4 triple3) -> rule2))] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Harry is kind.[(triple7)]