Anne is blue. Anne is kind. Anne is red. Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is young. All green, young things are blue.
Anne is quiet.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Charlie is blue.[(triple4)] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7)] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Fiona is blue.[(triple10 OR ((triple12 triple16) -> rule1))] Fiona is cold.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is quiet.[(triple14)] Fiona is red.[(triple15)] Fiona is young.[(triple16)]