Anne is cold. Anne is kind. Anne is quiet. Anne is round. Anne is smart. Anne is young. Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Dave is young. Fiona is kind. Fiona is nice. Fiona is quiet. If Dave is smart and Dave is cold then Dave is quiet. All quiet people are nice.
Fiona is smart.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6)] Dave is cold.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9 OR ((triple10) -> rule2) OR ((((triple12 triple7) -> rule1)) -> rule2))] Dave is quiet.[(triple10 OR ((triple12 triple7) -> rule1))] Dave is round.[(triple11)] Dave is smart.[(triple12)] Dave is young.[(triple13)] Fiona is kind.[(triple14)] Fiona is nice.[(triple15 OR ((triple16) -> rule2))] Fiona is quiet.[(triple16)] @1: Anne is nice.[(((triple3) -> rule2))]