Charlie is cold. Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is young. Dave is cold. Dave is kind. Dave is red. Fiona is cold. Fiona is kind. Fiona is rough. Young people are nice.
Dave is not nice.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is young.[(triple6)] Dave is cold.[(triple7)] Dave is kind.[(triple8)] Dave is red.[(triple9)] Fiona is cold.[(triple10)] Fiona is kind.[(triple11)] Fiona is rough.[(triple12)] @1: Charlie is nice.[(((triple6) -> rule1))]