Fiona is green. Fiona is not nice. Fiona is not quiet. Fiona is red. Harry is not kind. Harry is not rough. Harry is smart. If someone is smart and not kind then they are quiet. All quiet people are not green.
Fiona is rough.
@0: Fiona is green.[(triple1)] Fiona is not nice.[(triple2)] Fiona is not quiet.[(triple3)] Fiona is red.[(triple4)] Harry is not kind.[(triple5)] Harry is not rough.[(triple6)] Harry is smart.[(triple7)] @1: Harry is quiet.[(((triple7 triple5) -> rule1))] @2: Harry is not green.[(((((triple7 triple5) -> rule1)) -> rule2))]