Bob is kind. Bob is nice. Bob is smart. Charlie is kind. Charlie is nice. Harry is nice. Harry is quiet. If Harry is furry then Harry is round. If Bob is smart then Bob is nice. If Charlie is round then Charlie is nice. If someone is round then they are furry. All nice people are furry. If Bob is green and Bob is kind then Bob is smart.
Harry is quiet.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2 OR ((triple3) -> rule2))] Bob is smart.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Harry is nice.[(triple6)] Harry is quiet.[(triple7)] @1: Bob is furry.[(((triple2) -> rule5) OR ((((triple3) -> rule2)) -> rule5))] Charlie is furry.[(((triple5) -> rule5))] Harry is furry.[(((triple6) -> rule5))] @2: Harry is round.[(((((triple6) -> rule5)) -> rule1))]