Bob is green. Charlie is rough. Dave is quiet. If Bob is round then Bob is blue. All green people are nice. Green, nice people are round.
Charlie is rough.
@0: Bob is green.[(triple1)] Charlie is rough.[(triple2)] Dave is quiet.[(triple3)] @1: Bob is nice.[(((triple1) -> rule2))] @2: Bob is round.[(((triple1 ((triple1) -> rule2)) -> rule3))] @3: Bob is blue.[(((((triple1 ((triple1) -> rule2)) -> rule3)) -> rule1))]