Anne is cold. Anne is nice. Anne is smart. Anne is young. Charlie is big. Charlie is cold. Charlie is not green. Charlie is nice. Charlie is quiet. Charlie is not young. Fiona is big. Fiona is green. Fiona is smart. Fiona is young. Gary is quiet. All young people are quiet.
Charlie is quiet.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Charlie is big.[(triple5)] Charlie is cold.[(triple6)] Charlie is nice.[(triple8)] Charlie is not green.[(triple7)] Charlie is not young.[(triple10)] Charlie is quiet.[(triple9)] Fiona is big.[(triple11)] Fiona is green.[(triple12)] Fiona is smart.[(triple13)] Fiona is young.[(triple14)] Gary is quiet.[(triple15)] @1: Anne is quiet.[(((triple4) -> rule1))] Fiona is quiet.[(((triple14) -> rule1))]