Anne is smart. Charlie is nice. Charlie is not red. Charlie is rough. Charlie is not round. Dave is blue. Gary is not nice. Rough, round things are smart. If Dave is blue then Dave is rough. Blue, rough things are nice. Round things are furry. Red things are furry. Nice things are furry.
Dave is nice.
@0: Anne is smart.[(triple1)] Charlie is nice.[(triple2)] Charlie is not red.[(triple3)] Charlie is not round.[(triple5)] Charlie is rough.[(triple4)] Dave is blue.[(triple6)] Gary is not nice.[(triple7)] @1: Charlie is furry.[(((triple2) -> rule6))] Dave is rough.[(((triple6) -> rule2))] @2: Dave is nice.[(((triple6 ((triple6) -> rule2)) -> rule3))] @3: Dave is furry.[(((((triple6 ((triple6) -> rule2)) -> rule3)) -> rule6))]