Anne is blue. Anne is green. Fiona is rough. Gary is cold. Gary is green. Gary is not kind. Gary is nice. Harry is green. Harry is nice. Harry is not rough. Cold people are blue. If Fiona is kind and Fiona is round then Fiona is nice. All kind, round people are rough.
Fiona is not nice.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Fiona is rough.[(triple3)] Gary is cold.[(triple4)] Gary is green.[(triple5)] Gary is nice.[(triple7)] Gary is not kind.[(triple6)] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is not rough.[(triple10)] @1: Gary is blue.[(((triple4) -> rule1))]