Charlie is furry. Charlie is rough. Erin is big. Erin is green. Fiona is nice. Fiona is rough. Harry is big. Harry is green. Harry is rough. Harry is round. If someone is green and round then they are rough.
Erin is not rough.
@0: Charlie is furry.[(triple1)] Charlie is rough.[(triple2)] Erin is big.[(triple3)] Erin is green.[(triple4)] Fiona is nice.[(triple5)] Fiona is rough.[(triple6)] Harry is big.[(triple7)] Harry is green.[(triple8)] Harry is rough.[(triple9 OR ((triple8 triple10) -> rule1))] Harry is round.[(triple10)]