Fiona is blue. Gary is blue. All young things are quiet. If something is young and not white then it is furry. All quiet, young things are furry. If Fiona is red then Fiona is young. If something is quiet and not white then it is not young. Round, blue things are not young. If Fiona is blue then Fiona is red. If Gary is furry and Gary is not quiet then Gary is red.
Fiona is not young.
@0: Fiona is blue.[(triple1)] Gary is blue.[(triple2)] @1: Fiona is red.[(((triple1) -> rule7))] @2: Fiona is young.[(((((triple1) -> rule7)) -> rule4))] @3: Fiona is quiet.[(((((((triple1) -> rule7)) -> rule4)) -> rule1))] @4: Fiona is furry.[(((((((((triple1) -> rule7)) -> rule4)) -> rule1) ((((triple1) -> rule7)) -> rule4)) -> rule3))]