Charlie is big. Charlie is furry. Harry is nice. Furry, big things are nice.
Harry is not nice.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Harry is nice.[(triple3)] @1: Charlie is nice.[(((triple2 triple1) -> rule1))]