Anne is cold. Anne is nice. Anne is smart. Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Fiona is blue. Fiona is nice. Fiona is not quiet. Fiona is red. Fiona is not rough. Fiona is smart. All rough, red people are cold.
Dave is not quiet.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5 OR ((triple9 triple8) -> rule1))] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is rough.[(triple9)] Dave is smart.[(triple10)] Fiona is blue.[(triple11)] Fiona is nice.[(triple12)] Fiona is not quiet.[(triple13)] Fiona is not rough.[(triple15)] Fiona is red.[(triple14)] Fiona is smart.[(triple16)]