Bob is young. If Bob is not young then Bob is not kind. If something is young and kind then it is big. Young things are kind. If Bob is not big then Bob is blue. Big things are not nice. If something is smart and not kind then it is nice. If something is nice and not blue then it is rough. Young things are rough.
Bob is big.
@0: Bob is young.[(triple1)] @1: Bob is kind.[(((triple1) -> rule3))] Bob is rough.[(((triple1) -> rule8))] @2: Bob is big.[(((triple1 ((triple1) -> rule3)) -> rule2))] @3: Bob is not nice.[(((((triple1 ((triple1) -> rule3)) -> rule2)) -> rule5))]