Anne is cold. Anne is furry. Anne is not quiet. Charlie is kind. Fiona is not quiet. Fiona is young. Harry is cold. Kind things are furry. Nice things are big. Furry things are nice. If something is young and furry then it is quiet. If Anne is quiet then Anne is cold. Kind, big things are young. If something is kind and not furry then it is not young.
Anne is not kind.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not quiet.[(triple3)] Charlie is kind.[(triple4)] Fiona is not quiet.[(triple5)] Fiona is young.[(triple6)] Harry is cold.[(triple7)] @1: Anne is nice.[(((triple2) -> rule3))] Charlie is furry.[(((triple4) -> rule1))] @2: Anne is big.[(((((triple2) -> rule3)) -> rule2))] Charlie is nice.[(((((triple4) -> rule1)) -> rule3))] @3: Charlie is big.[(((((((triple4) -> rule1)) -> rule3)) -> rule2))] @4: Charlie is young.[(((triple4 ((((((triple4) -> rule1)) -> rule3)) -> rule2)) -> rule6))] @5: Charlie is quiet.[(((((triple4 ((((((triple4) -> rule1)) -> rule3)) -> rule2)) -> rule6) ((triple4) -> rule1)) -> rule4))]