Charlie is cold. Charlie is nice. Charlie is red. Charlie is rough. Charlie is not young. Dave is furry. Dave is nice. Dave is round. Dave is young. Erin is cold. Erin is furry. Erin is nice. Erin is red. Erin is rough. Erin is not round. Erin is young. All round things are nice.
Dave is not nice.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is not young.[(triple5)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Dave is furry.[(triple6)] Dave is nice.[(triple7 OR ((triple8) -> rule1))] Dave is round.[(triple8)] Dave is young.[(triple9)] Erin is cold.[(triple10)] Erin is furry.[(triple11)] Erin is nice.[(triple12)] Erin is not round.[(triple15)] Erin is red.[(triple13)] Erin is rough.[(triple14)] Erin is young.[(triple16)]