Charlie is nice. Charlie is red. Charlie is young. Gary is green. Gary is not kind. Gary is white. Gary is young. Harry is rough. Harry is white. Harry is not young. If someone is white and not kind then they are young.
Harry is green.
@0: Charlie is nice.[(triple1)] Charlie is red.[(triple2)] Charlie is young.[(triple3)] Gary is green.[(triple4)] Gary is not kind.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((triple6 triple5) -> rule1))] Harry is not young.[(triple10)] Harry is rough.[(triple8)] Harry is white.[(triple9)]