Bob is blue. Bob is quiet. Bob is round. If Bob is quiet and Bob is blue then Bob is not big. If something is kind then it is red. If something is blue and not big then it is red.
Bob is not quiet.
@0: Bob is blue.[(triple1)] Bob is quiet.[(triple2)] Bob is round.[(triple3)] @1: Bob is not big.[(((triple2 triple1) -> rule1))] @2: Bob is red.[(((triple1 ((triple2 triple1) -> rule1)) -> rule3))]