Anne is not kind. Anne is not quiet. Anne is not rough. Bob is not cold. Bob is quiet. Bob is rough. Bob is young. Dave is rough. Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is not quiet. Fiona is rough. Fiona is young. If someone is cold then they are big.
Anne is not rough.
@0: Anne is not kind.[(triple1)] Anne is not quiet.[(triple2)] Anne is not rough.[(triple3)] Bob is not cold.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is young.[(triple7)] Dave is rough.[(triple8)] Fiona is big.[(triple9 OR ((triple11) -> rule1))] Fiona is blue.[(triple10)] Fiona is cold.[(triple11)] Fiona is kind.[(triple12)] Fiona is not quiet.[(triple13)] Fiona is rough.[(triple14)] Fiona is young.[(triple15)]