Anne is blue. Anne is cold. Anne is red. Anne is white. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is red. Fiona is rough. Gary is blue. Gary is not cold. Gary is not kind. Gary is nice. Gary is red. Gary is rough. Gary is white. All red, nice things are white.
Anne is not kind.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6)] Fiona is nice.[(triple7)] Fiona is red.[(triple8)] Fiona is rough.[(triple9)] Gary is blue.[(triple10)] Gary is nice.[(triple13)] Gary is not cold.[(triple11)] Gary is not kind.[(triple12)] Gary is red.[(triple14)] Gary is rough.[(triple15)] Gary is white.[(triple16 OR ((triple14 triple13) -> rule1))] @1: Fiona is white.[(((triple8 triple7) -> rule1))]