Gary is blue. Gary is green. Gary is kind. Gary is quiet. Gary is not red. Gary is rough. Gary is young. Harry is not blue. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is rough. Harry is not young. All rough, young people are kind. If Gary is green and Gary is not young then Gary is not red.
Gary is blue.
@0: Gary is blue.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3 OR ((triple6 triple7) -> rule1))] Gary is not red.[(triple5)] Gary is quiet.[(triple4)] Gary is rough.[(triple6)] Gary is young.[(triple7)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is not blue.[(triple8)] Harry is not young.[(triple14)] Harry is quiet.[(triple11)] Harry is red.[(triple12)] Harry is rough.[(triple13)]