Charlie is blue. Charlie is furry. Charlie is not green. Charlie is nice. Charlie is rough. Charlie is not smart. Charlie is white. Dave is blue. Dave is nice. Dave is white. Erin is blue. Erin is furry. Erin is green. Erin is not smart. Erin is not white. If something is blue and green then it is nice.
Erin is nice.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple4)] Charlie is not green.[(triple3)] Charlie is not smart.[(triple6)] Charlie is rough.[(triple5)] Charlie is white.[(triple7)] Dave is blue.[(triple8)] Dave is nice.[(triple9)] Dave is white.[(triple10)] Erin is blue.[(triple11)] Erin is furry.[(triple12)] Erin is green.[(triple13)] Erin is not smart.[(triple14)] Erin is not white.[(triple15)] @1: Erin is nice.[(((triple11 triple13) -> rule1))]