Anne is blue. Bob is round. Kind people are white. Round people are blue. All blue people are rough. All quiet, blue people are white. If someone is round and rough then they are smart. If Anne is kind then Anne is blue. If someone is white and kind then they are rough. If someone is white and round then they are smart.
Bob is not white.
@0: Anne is blue.[(triple1)] Bob is round.[(triple2)] @1: Anne is rough.[(((triple1) -> rule3))] Bob is blue.[(((triple2) -> rule2))] @2: Bob is rough.[(((((triple2) -> rule2)) -> rule3))] @3: Bob is smart.[(((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule5))]