Bob is not furry. Bob is green. Bob is not kind. Bob is round. Bob is smart. Bob is white. Bob is young. Charlie is furry. Charlie is green. Charlie is kind. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. If someone is furry and not white then they are not round. All young people are smart.
Charlie is not round.
@0: Bob is green.[(triple2)] Bob is not furry.[(triple1)] Bob is not kind.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5 OR ((triple7) -> rule2))] Bob is white.[(triple6)] Bob is young.[(triple7)] Charlie is furry.[(triple8)] Charlie is green.[(triple9)] Charlie is kind.[(triple10)] Charlie is round.[(triple11)] Charlie is smart.[(triple12 OR ((triple14) -> rule2))] Charlie is white.[(triple13)] Charlie is young.[(triple14)]