Anne is not kind. Anne is quiet. Anne is smart. Erin is red. Erin is rough. Fiona is kind. Fiona is not rough. Harry is green. Harry is kind. Harry is quiet. All quiet people are not rough. If someone is red and not green then they are rough. Red people are not quiet.
Harry is red.
@0: Anne is not kind.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Fiona is kind.[(triple6)] Fiona is not rough.[(triple7)] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] @1: Anne is not rough.[(((triple2) -> rule1))] Erin is not quiet.[(((triple4) -> rule3))] Harry is not rough.[(((triple10) -> rule1))]