Anne is blue. Anne is young. Fiona is big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. Gary is blue. Gary is kind. Gary is red. Gary is rough. Kind, rough people are green.
Fiona is kind.
@0: Anne is blue.[(triple1)] Anne is young.[(triple2)] Fiona is big.[(triple3)] Fiona is blue.[(triple4)] Fiona is green.[(triple5 OR ((triple6 triple8) -> rule1))] Fiona is kind.[(triple6)] Fiona is red.[(triple7)] Fiona is rough.[(triple8)] Gary is blue.[(triple9)] Gary is kind.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] @1: Gary is green.[(((triple10 triple12) -> rule1))]