Anne is rough. Anne is young. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is white. Charlie is young. Gary is rough. Harry is green. Harry is rough. Harry is round. Harry is white. Blue people are young.
Harry is not young.
@0: Anne is rough.[(triple1)] Anne is young.[(triple2)] Charlie is blue.[(triple3)] Charlie is green.[(triple4)] Charlie is quiet.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple3) -> rule1))] Gary is rough.[(triple8)] Harry is green.[(triple9)] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)]