Anne is furry. Charlie is cold. Fiona is furry. Harry is big. Big things are kind. If something is big and cold then it is rough. All rough, cold things are round. All big things are round. All young things are kind. If Fiona is big and Fiona is cold then Fiona is furry. Kind, round things are cold. All rough, young things are cold.
Charlie is not cold.
@0: Anne is furry.[(triple1)] Charlie is cold.[(triple2)] Fiona is furry.[(triple3)] Harry is big.[(triple4)] @1: Harry is kind.[(((triple4) -> rule1))] Harry is round.[(((triple4) -> rule4))] @2: Harry is cold.[(((((triple4) -> rule1) ((triple4) -> rule4)) -> rule7))] @3: Harry is rough.[(((triple4 ((((triple4) -> rule1) ((triple4) -> rule4)) -> rule7)) -> rule2))]