Anne is nice. Fiona is not white. Gary is kind. Gary is round. Gary is white. Harry is blue. Harry is not kind. Kind things are nice. All nice, rough things are kind. Nice things are rough.
Fiona is blue.
@0: Anne is nice.[(triple1)] Fiona is not white.[(triple2)] Gary is kind.[(triple3)] Gary is round.[(triple4)] Gary is white.[(triple5)] Harry is blue.[(triple6)] Harry is not kind.[(triple7)] @1: Anne is rough.[(((triple1) -> rule3))] Gary is nice.[(((triple3) -> rule1))] @2: Anne is kind.[(((triple1 ((triple1) -> rule3)) -> rule2))] Gary is rough.[(((((triple3) -> rule1)) -> rule3))]