Anne is cold. Anne is quiet. Anne is not round. Dave is blue. Dave is quiet. Dave is red. Dave is round. Dave is smart. Fiona is cold. Fiona is round. Fiona is smart. Fiona is young. If someone is round and smart then they are quiet. If someone is young then they are round. If Anne is smart and Anne is cold then Anne is not blue.
Fiona is smart.
@0: Anne is cold.[(triple1)] Anne is not round.[(triple3)] Anne is quiet.[(triple2)] Dave is blue.[(triple4)] Dave is quiet.[(triple5 OR ((triple7 triple8) -> rule1))] Dave is red.[(triple6)] Dave is round.[(triple7)] Dave is smart.[(triple8)] Fiona is cold.[(triple9)] Fiona is round.[(triple10 OR ((triple12) -> rule2))] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is quiet.[(((triple10 triple11) -> rule1) OR ((((triple12) -> rule2) triple11) -> rule1))]