Bob is furry. Bob is rough. Bob is white. Bob is young. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is young. Harry is furry. Harry is green. Harry is quiet. Harry is rough. Harry is round. Harry is white. Harry is young. Round things are white. If something is rough then it is furry. All rough things are furry.
Bob is green.
@0: Bob is furry.[(triple1 OR ((triple2) -> rule2) OR ((triple2) -> rule3))] Bob is rough.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Charlie is green.[(triple5)] Charlie is quiet.[(triple6)] Charlie is rough.[(triple7)] Charlie is round.[(triple8)] Charlie is young.[(triple9)] Harry is furry.[(triple10 OR ((triple13) -> rule2) OR ((triple13) -> rule3))] Harry is green.[(triple11)] Harry is quiet.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15 OR ((triple14) -> rule1))] Harry is young.[(triple16)] @1: Charlie is furry.[(((triple7) -> rule2) OR ((triple7) -> rule3))] Charlie is white.[(((triple8) -> rule1))]