Anne is cold. Anne is smart. Anne is young. Charlie is cold. Charlie is nice. Charlie is rough. Charlie is young. Fiona is cold. Fiona is not quiet. Fiona is rough. Fiona is smart. Fiona is young. If Charlie is nice and Charlie is smart then Charlie is young. If something is smart then it is nice. All big things are not smart. If Anne is not quiet then Anne is rough. All rough, cold things are young. If something is quiet and not smart then it is young.
Fiona is quiet.
@0: Anne is cold.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Charlie is cold.[(triple4)] Charlie is nice.[(triple5)] Charlie is rough.[(triple6)] Charlie is young.[(triple7 OR ((triple6 triple4) -> rule5))] Fiona is cold.[(triple8)] Fiona is not quiet.[(triple9)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12 OR ((triple10 triple8) -> rule5))] @1: Anne is nice.[(((triple2) -> rule2))] Fiona is nice.[(((triple11) -> rule2))]