Anne is not cold. Anne is furry. Anne is round. Charlie is cold. Charlie is not round. Erin is green. Fiona is not cold. If something is round and green then it is big. All big, smart things are young. If something is furry then it is young. All furry things are green. Furry, cold things are not round. If Charlie is not big then Charlie is not young.
Erin is not green.
@0: Anne is furry.[(triple2)] Anne is not cold.[(triple1)] Anne is round.[(triple3)] Charlie is cold.[(triple4)] Charlie is not round.[(triple5)] Erin is green.[(triple6)] Fiona is not cold.[(triple7)] @1: Anne is green.[(((triple2) -> rule4))] Anne is young.[(((triple2) -> rule3))] @2: Anne is big.[(((triple3 ((triple2) -> rule4)) -> rule1))]