Gary is nice. Gary is young. Harry is blue. Harry is nice. Harry is quiet. Harry is rough. Harry is young. All young, furry things are blue. Blue things are rough. Furry things are rough.
Gary is not young.
@0: Gary is nice.[(triple1)] Gary is young.[(triple2)] Harry is blue.[(triple3)] Harry is nice.[(triple4)] Harry is quiet.[(triple5)] Harry is rough.[(triple6 OR ((triple3) -> rule2))] Harry is young.[(triple7)]