Dave is blue. Dave is not cold. Dave is green. Dave is red. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is red. Fiona is young. Harry is not big. Harry is green. Harry is red. Harry is not young. If something is green and cold then it is young. If something is big and not green then it is not young.
Dave is not red.
@0: Dave is blue.[(triple1)] Dave is green.[(triple3)] Dave is not cold.[(triple2)] Dave is red.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] Fiona is young.[(triple11 OR ((triple8 triple7) -> rule1))] Harry is green.[(triple13)] Harry is not big.[(triple12)] Harry is not young.[(triple15)] Harry is red.[(triple14)]