Anne is quiet. Bob is not nice. Dave is furry. Fiona is white. If something is furry then it is not quiet. Round things are not red. If something is red and not round then it is not furry. If Bob is not round then Bob is rough. White, quiet things are not rough. If something is rough and not quiet then it is white. All nice, furry things are white. If something is white and red then it is nice.
Dave is red.
@0: Anne is quiet.[(triple1)] Bob is not nice.[(triple2)] Dave is furry.[(triple3)] Fiona is white.[(triple4)] @1: Dave is not quiet.[(((triple3) -> rule1))]