Anne is quiet. Fiona is green. All cold things are white. If something is cold and green then it is furry. Cold, furry things are big. All green things are cold. If Fiona is white and Fiona is young then Fiona is green. If something is young and white then it is green.
Anne is not cold.
@0: Anne is quiet.[(triple1)] Fiona is green.[(triple2)] @1: Fiona is cold.[(((triple2) -> rule4))] @2: Fiona is furry.[(((((triple2) -> rule4) triple2) -> rule2))] Fiona is white.[(((((triple2) -> rule4)) -> rule1))] @3: Fiona is big.[(((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule2)) -> rule3))]