Bob is furry. Bob is not round. Charlie is blue. Charlie is not nice. Charlie is rough. Dave is nice. Harry is not nice. Red things are blue. All red things are blue. If something is furry and nice then it is round. If something is rough then it is not red. If Harry is furry and Harry is not red then Harry is not round. If something is round and not rough then it is smart. If something is red and rough then it is smart. If Dave is blue and Dave is smart then Dave is round.
Charlie is not nice.
@0: Bob is furry.[(triple1)] Bob is not round.[(triple2)] Charlie is blue.[(triple3)] Charlie is not nice.[(triple4)] Charlie is rough.[(triple5)] Dave is nice.[(triple6)] Harry is not nice.[(triple7)] @1: Charlie is not red.[(((triple5) -> rule4))]