Bob is young. If Bob is not smart then Bob is white. All young people are white. All white, cold people are kind. If someone is smart then they are young. If someone is white and not kind then they are red. If someone is nice and not smart then they are red.
Bob is not kind.
@0: Bob is young.[(triple1)] @1: Bob is white.[(((triple1) -> rule2))]