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