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.
Dave is not blue.
@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))]