Anne is cold. Anne is green. Anne is nice. Anne is smart. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is smart. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. Cold things are nice. If Charlie is cold and Charlie is not quiet then Charlie is not big.
Anne is not quiet.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple1) -> rule1))] Anne is smart.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Charlie is quiet.[(triple7)] Charlie is smart.[(triple8)] Fiona is furry.[(triple9)] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11)] Fiona is smart.[(triple12)] @1: Charlie is nice.[(((triple5) -> rule1))]