Bob is big. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Dave is big. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Dave is round. All furry things are quiet. All green things are furry.
Dave is not quiet.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule2))] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5 OR ((triple2) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] Bob is rough.[(triple6)] Bob is round.[(triple7)] Dave is big.[(triple8)] Dave is furry.[(triple9 OR ((triple10) -> rule2))] Dave is green.[(triple10)] Dave is nice.[(triple11)] Dave is quiet.[(triple12 OR ((triple9) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] Dave is rough.[(triple13)] Dave is round.[(triple14)]