Bob is green. Gary is rough. Harry is nice. Green people are cold. All white, green people are rough. Cold people are rough. Cold, rough people are white. All smart people are white. If someone is smart then they are not green. Smart people are quiet. If someone is smart and cold then they are not quiet.
Bob is not nice.
@0: Bob is green.[(triple1)] Gary is rough.[(triple2)] Harry is nice.[(triple3)] @1: Bob is cold.[(((triple1) -> rule1))] @2: Bob is rough.[(((((triple1) -> rule1)) -> rule3))] @3: Bob is white.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule4))]