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