Anne is furry. Anne is kind. Anne is white. Bob is quiet. Charlie is furry. Charlie is kind. Fiona is not young. Smart people are white. If Bob is smart and Bob is quiet then Bob is not red. Smart people are young. If someone is furry and quiet then they are not young. If someone is young and not red then they are furry. All quiet people are not furry. If Charlie is not kind and Charlie is not white then Charlie is young. If Fiona is not red and Fiona is not white then Fiona is quiet.
Bob is not furry.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is white.[(triple3)] Bob is quiet.[(triple4)] Charlie is furry.[(triple5)] Charlie is kind.[(triple6)] Fiona is not young.[(triple7)] @1: Bob is not furry.[(((triple4) -> rule6))]