Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is not nice. Anne is not quiet. Anne is rough. Bob is not big. Bob is not blue. Bob is cold. Bob is furry. Bob is not nice. Bob is quiet. Bob is rough. If Bob is cold then Bob is rough.
Anne is not nice.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is not nice.[(triple5)] Anne is not quiet.[(triple6)] Anne is rough.[(triple7)] Bob is cold.[(triple10)] Bob is furry.[(triple11)] Bob is not big.[(triple8)] Bob is not blue.[(triple9)] Bob is not nice.[(triple12)] Bob is quiet.[(triple13)] Bob is rough.[(triple14 OR ((triple10) -> rule1))]