Bob is green. Charlie is blue. Charlie is red. Gary is furry. Gary is quiet. Gary is young. Harry is young. If Gary is red and Gary is furry then Gary is blue. Young, furry things are green.
Harry is young.
@0: Bob is green.[(triple1)] Charlie is blue.[(triple2)] Charlie is red.[(triple3)] Gary is furry.[(triple4)] Gary is quiet.[(triple5)] Gary is young.[(triple6)] Harry is young.[(triple7)] @1: Gary is green.[(((triple6 triple4) -> rule2))]