Bob is blue. Bob is not kind. Bob is not round. Bob is white. Bob is young. Charlie is blue. Charlie is furry. Charlie is not kind. Charlie is quiet. Charlie is round. Charlie is white. Charlie is young. White things are young. All furry things are blue. All round things are blue. All quiet things are not kind. If something is blue and kind then it is quiet. All kind, white things are round. If something is quiet then it is white. If something is furry then it is white.
Charlie is kind.
@0: Bob is blue.[(triple1)] Bob is not kind.[(triple2)] Bob is not round.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5 OR ((triple4) -> rule1))] Charlie is blue.[(triple6 OR ((triple10) -> rule3) OR ((triple7) -> rule2))] Charlie is furry.[(triple7)] Charlie is not kind.[(triple8 OR ((triple9) -> rule4))] Charlie is quiet.[(triple9)] Charlie is round.[(triple10)] Charlie is white.[(triple11 OR ((triple7) -> rule8) OR ((triple9) -> rule7))] Charlie is young.[(triple12 OR ((triple11) -> rule1) OR ((((triple7) -> rule8)) -> rule1) OR ((((triple9) -> rule7)) -> rule1))]