Anne is furry. Bob is not round. Fiona is rough. Harry is blue. If someone is round then they are blue. If Bob is blue and Bob is furry then Bob is not white. Rough people are round. If Anne is red then Anne is quiet. If someone is blue then they are quiet. If Harry is rough and Harry is not blue then Harry is not red.
Bob is blue.
@0: Anne is furry.[(triple1)] Bob is not round.[(triple2)] Fiona is rough.[(triple3)] Harry is blue.[(triple4)] @1: Fiona is round.[(((triple3) -> rule3))] Harry is quiet.[(((triple4) -> rule5))] @2: Fiona is blue.[(((((triple3) -> rule3)) -> rule1))] @3: Fiona is quiet.[(((((((triple3) -> rule3)) -> rule1)) -> rule5))]