Bob is rough. Charlie is white. Dave is red. Erin is red. All green things are round. If something is kind then it is green. If something is rough then it is green. If something is rough and furry then it is white. If something is green and round then it is kind. Round things are green. Green, kind things are rough. If something is furry and red then it is rough.
Bob is green.
@0: Bob is rough.[(triple1)] Charlie is white.[(triple2)] Dave is red.[(triple3)] Erin is red.[(triple4)] @1: Bob is green.[(((triple1) -> rule3))] @2: Bob is round.[(((((triple1) -> rule3)) -> rule1))] @3: Bob is kind.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule1)) -> rule5))]