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