Bob is kind. Charlie is green. Erin is not furry. Young people are not kind. All furry people are not kind. If someone is kind then they are smart. If Charlie is young and Charlie is kind then Charlie is white. If someone is rough and not furry then they are green. If someone is furry and not kind then they are green.
Bob is not kind.
@0: Bob is kind.[(triple1)] Charlie is green.[(triple2)] Erin is not furry.[(triple3)] @1: Bob is smart.[(((triple1) -> rule3))]