Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is quiet. Charlie is quiet. Charlie is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is young. Harry is green. If Harry is quiet and Harry is furry then Harry is cold. All young, blue people are quiet. Furry people are young.
Charlie is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is green.[(triple5)] Anne is quiet.[(triple6 OR ((((triple4) -> rule3) triple2) -> rule2))] Charlie is quiet.[(triple7)] Charlie is young.[(triple8)] Fiona is big.[(triple9)] Fiona is blue.[(triple10)] Fiona is cold.[(triple11)] Fiona is furry.[(triple12)] Fiona is green.[(triple13)] Fiona is quiet.[(triple14 OR ((triple15 triple10) -> rule2) OR ((((triple12) -> rule3) triple10) -> rule2))] Fiona is young.[(triple15 OR ((triple12) -> rule3))] Harry is green.[(triple16)] @1: Anne is young.[(((triple4) -> rule3))]