Charlie is blue. Fiona is rough. Harry is rough. If Charlie is blue then Charlie is rough. If something is rough then it is white. If Fiona is blue and Fiona is not white then Fiona is round. If something is blue and not rough then it is green. White things are green. If something is round and not green then it is quiet.
Harry is green.
@0: Charlie is blue.[(triple1)] Fiona is rough.[(triple2)] Harry is rough.[(triple3)] @1: Charlie is rough.[(((triple1) -> rule1))] Fiona is white.[(((triple2) -> rule2))] Harry is white.[(((triple3) -> rule2))] @2: Charlie is white.[(((((triple1) -> rule1)) -> rule2))] Fiona is green.[(((((triple2) -> rule2)) -> rule5))] Harry is green.[(((((triple3) -> rule2)) -> rule5))] @3: Charlie is green.[(((((((triple1) -> rule1)) -> rule2)) -> rule5))]