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