Dave is kind. Erin is kind. Harry is quiet. If Harry is big and Harry is kind then Harry is quiet. All rough things are quiet. Quiet things are green. If something is rough and green then it is kind. If Harry is blue then Harry is not green. If something is blue then it is rough.
Dave is furry.
@0: Dave is kind.[(triple1)] Erin is kind.[(triple2)] Harry is quiet.[(triple3)] @1: Harry is green.[(((triple3) -> rule3))]