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