Charlie is quiet. Dave is white. Gary is not cold. If someone is white then they are green. If someone is green then they are quiet. If someone is round then they are white.
Charlie is round.
@0: Charlie is quiet.[(triple1)] Dave is white.[(triple2)] Gary is not cold.[(triple3)] @1: Dave is green.[(((triple2) -> rule1))] @2: Dave is quiet.[(((((triple2) -> rule1)) -> rule2))]