Erin is blue. Erin is green. Erin is kind. Erin is nice. Erin is rough. Erin is smart. Erin is young. Harry is blue. Harry is green. Harry is kind. Harry is nice. Harry is rough. Harry is smart. Harry is young. If something is kind then it is blue.
Erin is smart.
@0: Erin is blue.[(triple1 OR ((triple3) -> rule1))] Erin is green.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)] Harry is blue.[(triple8 OR ((triple10) -> rule1))] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is rough.[(triple12)] Harry is smart.[(triple13)] Harry is young.[(triple14)]