Charlie is cold. Charlie is green. Charlie is rough. Charlie is round. Charlie is young. Dave is rough. Dave is young. Gary is cold. Gary is round. Gary is smart. Gary is young. Harry is round. Smart people are young. All smart people are green. If Harry is rough and Harry is big then Harry is green.
Harry is not green.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is young.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7)] Gary is cold.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] Gary is young.[(triple11 OR ((triple10) -> rule1))] Harry is round.[(triple12)] @1: Gary is green.[(((triple10) -> rule2))]