Bob is big. Bob is furry. Bob is kind. Bob is quiet. Bob is rough. Bob is round. Bob is young. Charlie is big. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is young. Dave is furry. Dave is kind. Dave is quiet. Dave is young. If something is round and rough then it is furry. If Dave is round and Dave is big then Dave is quiet. Big things are furry.
Charlie is not rough.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule3) OR ((triple6 triple5) -> rule1))] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Charlie is big.[(triple8)] Charlie is furry.[(triple9 OR ((triple8) -> rule3))] Charlie is kind.[(triple10)] Charlie is quiet.[(triple11)] Charlie is young.[(triple12)] Dave is furry.[(triple13)] Dave is kind.[(triple14)] Dave is quiet.[(triple15)] Dave is young.[(triple16)]