Charlie is big. Charlie is not kind. Charlie is quiet. Charlie is red. Charlie is round. Charlie is not white. Dave is not big. Dave is not cold. Dave is kind. Dave is quiet. Dave is not red. Dave is white. Fiona is big. Fiona is cold. Fiona is not kind. Fiona is white. If someone is white and cold then they are round.
Dave is not kind.
@0: Charlie is big.[(triple1)] Charlie is not kind.[(triple2)] Charlie is not white.[(triple6)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Dave is kind.[(triple9)] Dave is not big.[(triple7)] Dave is not cold.[(triple8)] Dave is not red.[(triple11)] Dave is quiet.[(triple10)] Dave is white.[(triple12)] Fiona is big.[(triple13)] Fiona is cold.[(triple14)] Fiona is not kind.[(triple15)] Fiona is white.[(triple16)] @1: Fiona is round.[(((triple16 triple14) -> rule1))]