Bob is green. Bob is not nice. Bob is quiet. Bob is young. Fiona is green. Fiona is kind. Fiona is rough. If something is rough then it is nice. If Fiona is rough and Fiona is not red then Fiona is quiet.
Fiona is not quiet.
@0: Bob is green.[(triple1)] Bob is not nice.[(triple2)] Bob is quiet.[(triple3)] Bob is young.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is rough.[(triple7)] @1: Fiona is nice.[(((triple7) -> rule1))]