Charlie is young. Dave is cold. Dave is white. Fiona is big. Fiona is cold. Fiona is green. Fiona is nice. Fiona is white. Fiona is young. Harry is big. Harry is green. Harry is white. All big people are white.
Harry is not white.
@0: Charlie is young.[(triple1)] Dave is cold.[(triple2)] Dave is white.[(triple3)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7)] Fiona is white.[(triple8 OR ((triple4) -> rule1))] Fiona is young.[(triple9)] Harry is big.[(triple10)] Harry is green.[(triple11)] Harry is white.[(triple12 OR ((triple10) -> rule1))]