Anne is round. Bob is quiet. Fiona is white. Gary is not furry. If something is white then it is blue. If Bob is young then Bob is white. If something is white and nice then it is quiet. If Gary is quiet then Gary is furry. All blue things are nice. If something is quiet then it is furry. If something is young and not nice then it is round. Quiet, furry things are not round.
Gary is white.
@0: Anne is round.[(triple1)] Bob is quiet.[(triple2)] Fiona is white.[(triple3)] Gary is not furry.[(triple4)] @1: Bob is furry.[(((triple2) -> rule6))] Fiona is blue.[(((triple3) -> rule1))] @2: Bob is not round.[(((triple2 ((triple2) -> rule6)) -> rule8))] Fiona is nice.[(((((triple3) -> rule1)) -> rule5))] @3: Fiona is quiet.[(((triple3 ((((triple3) -> rule1)) -> rule5)) -> rule3))] @4: Fiona is furry.[(((((triple3 ((((triple3) -> rule1)) -> rule5)) -> rule3)) -> rule6))] @5: Fiona is not round.[(((((triple3 ((((triple3) -> rule1)) -> rule5)) -> rule3) ((((triple3 ((((triple3) -> rule1)) -> rule5)) -> rule3)) -> rule6)) -> rule8))]