Anne is smart. Dave is big. Dave is furry. Gary is not young. Harry is big. Harry is rough. Harry is smart. Furry things are young. Cold things are furry.
Harry is not young.
@0: Anne is smart.[(triple1)] Dave is big.[(triple2)] Dave is furry.[(triple3)] Gary is not young.[(triple4)] Harry is big.[(triple5)] Harry is rough.[(triple6)] Harry is smart.[(triple7)] @1: Dave is young.[(((triple3) -> rule1))]