Erin is big. Erin is blue. Erin is green. Erin is nice. Erin is rough. Erin is smart. Erin is young. Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is rough. Harry is smart. Harry is young. All nice, smart things are green. If Harry is blue then Harry is big. If Harry is not young then Harry is blue. If something is big and not nice then it is not smart. If something is big and not nice then it is smart. If something is green and not young then it is big. If something is nice then it is big. If Erin is rough and Erin is not young then Erin is green.
Harry is not rough.
@0: Erin is big.[(triple1 OR ((triple4) -> rule7))] Erin is blue.[(triple2)] Erin is green.[(triple3 OR ((triple4 triple6) -> rule1))] Erin is nice.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)] Harry is big.[(triple8 OR ((triple11) -> rule7) OR ((triple9) -> rule2))] Harry is blue.[(triple9)] Harry is green.[(triple10 OR ((triple11 triple13) -> rule1))] Harry is nice.[(triple11)] Harry is rough.[(triple12)] Harry is smart.[(triple13)] Harry is young.[(triple14)]