Bob is big. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is round. Bob is smart. Charlie is big. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. All green, big people are furry.
Bob is quiet.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple3 triple1) -> rule1))] Bob is green.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7)] Charlie is big.[(triple8)] Charlie is furry.[(triple9 OR ((triple10 triple8) -> rule1))] Charlie is green.[(triple10)] Charlie is quiet.[(triple11)] Charlie is red.[(triple12)] Charlie is round.[(triple13)] Charlie is smart.[(triple14)]