Anne is smart. Anne is young. Charlie is kind. Charlie is smart. Dave is furry. Fiona is furry. Fiona is smart. All kind things are big. All young, cold things are furry. If Charlie is young then Charlie is cold. Round, furry things are big. Round things are young. All smart, big things are round.
Anne is not big.
@0: Anne is smart.[(triple1)] Anne is young.[(triple2)] Charlie is kind.[(triple3)] Charlie is smart.[(triple4)] Dave is furry.[(triple5)] Fiona is furry.[(triple6)] Fiona is smart.[(triple7)] @1: Charlie is big.[(((triple3) -> rule1))] @2: Charlie is round.[(((triple4 ((triple3) -> rule1)) -> rule6))] @3: Charlie is young.[(((((triple4 ((triple3) -> rule1)) -> rule6)) -> rule5))] @4: Charlie is cold.[(((((((triple4 ((triple3) -> rule1)) -> rule6)) -> rule5)) -> rule3))] @5: Charlie is furry.[(((((((triple4 ((triple3) -> rule1)) -> rule6)) -> rule5) ((((((triple4 ((triple3) -> rule1)) -> rule6)) -> rule5)) -> rule3)) -> rule2))]