Anne is cold. Anne is quiet. Anne is round. Anne is young. Charlie is blue. Charlie is kind. Charlie is smart. Charlie is young. Erin is blue. Erin is cold. Erin is kind. Erin is not round. Erin is not smart. Erin is young. Fiona is blue. Fiona is kind. Round, smart things are cold. If something is young and not smart then it is not quiet.
Fiona is not cold.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4)] Charlie is blue.[(triple5)] Charlie is kind.[(triple6)] Charlie is smart.[(triple7)] Charlie is young.[(triple8)] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is kind.[(triple11)] Erin is not round.[(triple12)] Erin is not smart.[(triple13)] Erin is young.[(triple14)] Fiona is blue.[(triple15)] Fiona is kind.[(triple16)] @1: Erin is not quiet.[(((triple14 triple13) -> rule2))]