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