Fiona is green. Gary is kind. Gary is white. Gary is young. Harry is green. Harry is rough. Harry is young. If someone is round and not green then they are white. If Harry is young and Harry is kind then Harry is not rough. All white people are not smart.
Fiona is not green.
@0: Fiona is green.[(triple1)] Gary is kind.[(triple2)] Gary is white.[(triple3)] Gary is young.[(triple4)] Harry is green.[(triple5)] Harry is rough.[(triple6)] Harry is young.[(triple7)] @1: Gary is not smart.[(((triple3) -> rule3))]