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