Charlie is not big. Charlie is green. Charlie is not rough. Charlie is round. Fiona is big. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is not round. Harry is big. Harry is not green. Harry is not nice. Harry is quiet. Harry is rough. Harry is round. If something is green and nice then it is not round. If something is cold and round then it is not green.
Harry is not quiet.
@0: Charlie is green.[(triple2)] Charlie is not big.[(triple1)] Charlie is not rough.[(triple3)] Charlie is round.[(triple4)] Fiona is big.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7)] Fiona is not round.[(triple9 OR ((triple6 triple7) -> rule1))] Fiona is quiet.[(triple8)] Harry is big.[(triple10)] Harry is not green.[(triple11)] Harry is not nice.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)]