Anne is red. Dave is smart. Gary is rough. Harry is red. If Gary is white then Gary is smart. White, smart things are red. If Gary is rough then Gary is white. All white, furry things are nice. If something is blue and not rough then it is nice. If something is nice and not smart then it is blue.
Gary is red.
@0: Anne is red.[(triple1)] Dave is smart.[(triple2)] Gary is rough.[(triple3)] Harry is red.[(triple4)] @1: Gary is white.[(((triple3) -> rule3))] @2: Gary is smart.[(((((triple3) -> rule3)) -> rule1))] @3: Gary is red.[(((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule1)) -> rule2))]