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.
Charlie is not rough.
@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))]