Anne is quiet. Bob is rough. Erin is smart. Harry is kind. If someone is quiet then they are green.
Bob is not rough.
@0: Anne is quiet.[(triple1)] Bob is rough.[(triple2)] Erin is smart.[(triple3)] Harry is kind.[(triple4)] @1: Anne is green.[(((triple1) -> rule1))]