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