Bob is green. Harry is round. Kind, rough things are not quiet. If something is green and not white then it is quiet. All blue things are quiet. If something is white and not round then it is kind. If something is green and not round then it is kind. If Bob is green then Bob is not quiet. Quiet things are not rough. If something is round and not white then it is not green.
Bob is not green.
@0: Bob is green.[(triple1)] Harry is round.[(triple2)] @1: Bob is not quiet.[(((triple1) -> rule6))]