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