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