Anne is furry. Bob is green. Dave is rough. Erin is furry. If someone is round and green then they are blue. Green people are blue. Blue people are quiet. If Dave is green and Dave is not rough then Dave is not furry. Furry people are not round. If Dave is blue then Dave is not white. All rough, quiet people are green. If someone is rough and not green then they are white.
Bob is not furry.
@0: Anne is furry.[(triple1)] Bob is green.[(triple2)] Dave is rough.[(triple3)] Erin is furry.[(triple4)] @1: Anne is not round.[(((triple1) -> rule5))] Bob is blue.[(((triple2) -> rule2))] Erin is not round.[(((triple4) -> rule5))] @2: Bob is quiet.[(((((triple2) -> rule2)) -> rule3))]