Anne is furry. Bob is young. Charlie is furry. Harry is rough. All rough things are young. Kind, smart things are cold.
Anne is not cold.
@0: Anne is furry.[(triple1)] Bob is young.[(triple2)] Charlie is furry.[(triple3)] Harry is rough.[(triple4)] @1: Harry is young.[(((triple4) -> rule1))]