Anne is kind. Anne is quiet. Anne is rough. Anne is not round. Anne is not young. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Dave is kind. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is round. If Charlie is quiet then Charlie is not young.
Charlie is round.
@0: Anne is kind.[(triple1)] Anne is not round.[(triple4)] Anne is not young.[(triple5)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Charlie is cold.[(triple6)] Charlie is kind.[(triple7)] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is rough.[(triple10)] Charlie is round.[(triple11)] Dave is kind.[(triple12)] Fiona is cold.[(triple13)] Fiona is quiet.[(triple14)] Fiona is red.[(triple15)] Fiona is round.[(triple16)] @1: Charlie is not young.[(((triple8) -> rule1))]