Charlie is furry. Charlie is quiet. Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Dave is round. Erin is blue. Erin is furry. Erin is green. Fiona is blue. Fiona is not furry. Fiona is nice. Fiona is quiet. Fiona is rough. Furry people are nice. If Charlie is green and Charlie is not nice then Charlie is rough.
Erin is not rough.
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Dave is blue.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is rough.[(triple7)] Dave is round.[(triple8)] Erin is blue.[(triple9)] Erin is furry.[(triple10)] Erin is green.[(triple11)] Fiona is blue.[(triple12)] Fiona is nice.[(triple14)] Fiona is not furry.[(triple13)] Fiona is quiet.[(triple15)] Fiona is rough.[(triple16)] @1: Charlie is nice.[(((triple1) -> rule1))] Erin is nice.[(((triple10) -> rule1))]