Anne is nice. Anne is quiet. Charlie is furry. Charlie is quiet. Dave is cold. Dave is not furry. Dave is nice. Dave is rough. Dave is round. Dave is young. Erin is furry. Erin is nice. Erin is rough. Erin is round. Erin is not young. If someone is furry then they are not young.
Anne is nice.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Charlie is furry.[(triple3)] Charlie is quiet.[(triple4)] Dave is cold.[(triple5)] Dave is nice.[(triple7)] Dave is not furry.[(triple6)] Dave is rough.[(triple8)] Dave is round.[(triple9)] Dave is young.[(triple10)] Erin is furry.[(triple11)] Erin is nice.[(triple12)] Erin is not young.[(triple15 OR ((triple11) -> rule1))] Erin is rough.[(triple13)] Erin is round.[(triple14)] @1: Charlie is not young.[(((triple3) -> rule1))]