Anne is blue. Anne is kind. Anne is quiet. Anne is round. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is round. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is quiet. If Anne is cold and Anne is blue then Anne is big. If Anne is kind then Anne is round. If someone is blue then they are round.
Anne is not kind.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4 OR ((triple1) -> rule3) OR ((triple2) -> rule2))] Fiona is big.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is green.[(triple8)] Fiona is quiet.[(triple9)] Fiona is round.[(triple10 OR ((triple6) -> rule3))] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is quiet.[(triple15)] @1: Harry is round.[(((triple11) -> rule3))]