Bob is kind. Charlie is round. If something is round then it is rough. If Bob is big then Bob is blue. Rough, round things are nice. If something is blue and rough then it is furry. All nice things are not furry. Rough things are round.
Charlie is round.
@0: Bob is kind.[(triple1)] Charlie is round.[(triple2)] @1: Charlie is rough.[(((triple2) -> rule1))] @2: Charlie is nice.[(((((triple2) -> rule1) triple2) -> rule3))] @3: Charlie is not furry.[(((((((triple2) -> rule1) triple2) -> rule3)) -> rule5))]