Charlie is blue. Charlie is cold. Charlie is quiet. Charlie is round. Charlie is young. Dave is big. Dave is blue. Dave is cold. Dave is quiet. Fiona is big. Fiona is quiet. Fiona is round. Fiona is white. Fiona is young. Harry is blue. Harry is cold. All round, quiet things are big.
Charlie is not quiet.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is quiet.[(triple3)] Charlie is round.[(triple4)] Charlie is young.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is cold.[(triple8)] Dave is quiet.[(triple9)] Fiona is big.[(triple10 OR ((triple12 triple11) -> rule1))] Fiona is quiet.[(triple11)] Fiona is round.[(triple12)] Fiona is white.[(triple13)] Fiona is young.[(triple14)] Harry is blue.[(triple15)] Harry is cold.[(triple16)] @1: Charlie is big.[(((triple4 triple3) -> rule1))]