Anne is rough. Bob is big. Fiona is kind. Harry is green. All kind people are not nice.
Harry is big.
@0: Anne is rough.[(triple1)] Bob is big.[(triple2)] Fiona is kind.[(triple3)] Harry is green.[(triple4)] @1: Fiona is not nice.[(((triple3) -> rule1))]