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