Anne is green. Charlie is blue. Gary is nice. Harry is green. If someone is blue then they are big. If someone is big then they are white.
Harry is not blue.
@0: Anne is green.[(triple1)] Charlie is blue.[(triple2)] Gary is nice.[(triple3)] Harry is green.[(triple4)] @1: Charlie is big.[(((triple2) -> rule1))] @2: Charlie is white.[(((((triple2) -> rule1)) -> rule2))]