Bob is smart. Green people are not nice. If Bob is smart and Bob is nice then Bob is red. Red people are smart. All rough people are kind. If someone is round and red then they are not green. If someone is kind then they are not red. If someone is smart then they are rough. All red people are round.
Bob is not red.
@0: Bob is smart.[(triple1)] @1: Bob is rough.[(((triple1) -> rule7))] @2: Bob is kind.[(((((triple1) -> rule7)) -> rule4))] @3: Bob is not red.[(((((((triple1) -> rule7)) -> rule4)) -> rule6))]