Anne is cold. Charlie is not furry. Fiona is furry. Gary is furry. If something is nice and not round then it is not quiet. All white things are not quiet. If Gary is furry then Gary is cold. Cold, furry things are white. If something is white and cold then it is furry. If something is white and not quiet then it is young.
Anne is young.
@0: Anne is cold.[(triple1)] Charlie is not furry.[(triple2)] Fiona is furry.[(triple3)] Gary is furry.[(triple4)] @1: Gary is cold.[(((triple4) -> rule3))] @2: Gary is white.[(((((triple4) -> rule3) triple4) -> rule4))] @3: Gary is not quiet.[(((((((triple4) -> rule3) triple4) -> rule4)) -> rule2))] @4: Gary is young.[(((((((triple4) -> rule3) triple4) -> rule4) ((((((triple4) -> rule3) triple4) -> rule4)) -> rule2)) -> rule6))]