Erin is blue. Erin is kind. Erin is red. Erin is young. Gary is kind. Gary is young. Harry is blue. Harry is kind. Harry is nice. Harry is red. Harry is rough. Harry is young. If something is rough and kind then it is young. All white things are nice.
Gary is red.
@0: Erin is blue.[(triple1)] Erin is kind.[(triple2)] Erin is red.[(triple3)] Erin is young.[(triple4)] Gary is kind.[(triple5)] Gary is young.[(triple6)] Harry is blue.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is young.[(triple12 OR ((triple11 triple8) -> rule1))]