Bob is blue. Bob is furry. Bob is kind. Bob is not red. Bob is round. Bob is young. Charlie is blue. Charlie is furry. Charlie is not nice. Charlie is red. Charlie is round. Charlie is young. If someone is nice and not round then they are not red. If someone is furry and not red then they are blue.
Charlie is kind.
@0: Bob is blue.[(triple1 OR ((triple2 triple4) -> rule2))] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is not red.[(triple4)] Bob is round.[(triple5)] Bob is young.[(triple6)] Charlie is blue.[(triple7)] Charlie is furry.[(triple8)] Charlie is not nice.[(triple9)] Charlie is red.[(triple10)] Charlie is round.[(triple11)] Charlie is young.[(triple12)]