Gary is furry. Gary is white. Gary is young. Harry is furry. Harry is green. Harry is white. Harry is young. All furry people are blue. All green people are blue. Blue, furry people are green.
Harry is nice.
@0: Gary is furry.[(triple1)] Gary is white.[(triple2)] Gary is young.[(triple3)] Harry is furry.[(triple4)] Harry is green.[(triple5 OR ((((triple4) -> rule1) triple4) -> rule3))] Harry is white.[(triple6)] Harry is young.[(triple7)] @1: Gary is blue.[(((triple1) -> rule1))] Harry is blue.[(((triple4) -> rule1) OR ((triple5) -> rule2))] @2: Gary is green.[(((((triple1) -> rule1) triple1) -> rule3))]