Dave is nice. Harry is furry. Green people are nice. If someone is big and not kind then they are nice. If Dave is big then Dave is green. If Dave is kind then Dave is rough. All kind people are not green. If Harry is nice then Harry is furry. Rough, big people are young. Furry people are big.
Harry is not furry.
@0: Dave is nice.[(triple1)] Harry is furry.[(triple2)] @1: Harry is big.[(((triple2) -> rule8))]