Bob is not green. Bob is nice. Bob is not round. Charlie is green. Charlie is nice. Charlie is round. Charlie is young. Dave is not furry. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Dave is young. Erin is not quiet. Erin is round. If Bob is not young and Bob is not smart then Bob is round. If something is smart then it is green. All round things are nice.
Erin is furry.
@0: Bob is nice.[(triple2)] Bob is not green.[(triple1)] Bob is not round.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5 OR ((triple6) -> rule3))] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Dave is nice.[(triple9 OR ((triple11) -> rule3))] Dave is not furry.[(triple8)] Dave is quiet.[(triple10)] Dave is round.[(triple11)] Dave is smart.[(triple12)] Dave is young.[(triple13)] Erin is not quiet.[(triple14)] Erin is round.[(triple15)] @1: Dave is green.[(((triple12) -> rule2))] Erin is nice.[(((triple15) -> rule3))]