Anne is big. Anne is furry. Anne is green. Dave is furry. Dave is kind. Harry is cold. Harry is kind. All kind, cold things are young. If something is young then it is big.
Dave is not big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Dave is furry.[(triple4)] Dave is kind.[(triple5)] Harry is cold.[(triple6)] Harry is kind.[(triple7)] @1: Harry is young.[(((triple7 triple6) -> rule1))] @2: Harry is big.[(((((triple7 triple6) -> rule1)) -> rule2))]