Anne is green. Anne is nice. Anne is round. Fiona is big. Fiona is green. Fiona is nice. Fiona is red. Fiona is not round. Harry is big. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is not white. Nice, rough people are not white. Rough people are nice.
Anne is not green.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Fiona is big.[(triple4)] Fiona is green.[(triple5)] Fiona is nice.[(triple6)] Fiona is not round.[(triple8)] Fiona is red.[(triple7)] Harry is big.[(triple9)] Harry is green.[(triple10)] Harry is nice.[(triple11 OR ((triple13) -> rule2))] Harry is not white.[(triple15 OR ((triple11 triple13) -> rule1) OR ((((triple13) -> rule2) triple13) -> rule1))] Harry is red.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)]