Bob is quiet. Bob is rough. Bob is round. Red people are furry. If someone is rough then they are kind. If someone is kind then they are red.
Bob is kind.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] @1: Bob is kind.[(((triple2) -> rule2))] @2: Bob is red.[(((((triple2) -> rule2)) -> rule3))] @3: Bob is furry.[(((((((triple2) -> rule2)) -> rule3)) -> rule1))]