Anne is cold. Anne is kind. Anne is red. Anne is rough. Anne is round. Anne is young. Dave is cold. Dave is not kind. Dave is red. Dave is rough. Dave is not round. Dave is smart. Dave is young. Fiona is not red. Fiona is not smart. Kind things are round.
Fiona is kind.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple2) -> rule1))] Anne is young.[(triple6)] Dave is cold.[(triple7)] Dave is not kind.[(triple8)] Dave is not round.[(triple11)] Dave is red.[(triple9)] Dave is rough.[(triple10)] Dave is smart.[(triple12)] Dave is young.[(triple13)] Fiona is not red.[(triple14)] Fiona is not smart.[(triple15)]