Anne is cold. Anne is green. Charlie is big. Charlie is cold. Charlie is furry. Harry is green. Harry is nice. Big, cold things are round. All round things are young.
Harry is not young.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Charlie is big.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5)] Harry is green.[(triple6)] Harry is nice.[(triple7)] @1: Charlie is round.[(((triple3 triple4) -> rule1))] @2: Charlie is young.[(((((triple3 triple4) -> rule1)) -> rule2))]