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