Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is rough. Anne is round. Anne is smart. Bob is not big. Bob is not blue. Bob is cold. Bob is furry. Bob is not rough. Bob is round. Bob is not smart. Blue, big people are furry. If someone is rough and not round then they are blue.
Bob is not round.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4 OR ((triple2 triple1) -> rule1))] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7)] Bob is cold.[(triple10)] Bob is furry.[(triple11)] Bob is not big.[(triple8)] Bob is not blue.[(triple9)] Bob is not rough.[(triple12)] Bob is not smart.[(triple14)] Bob is round.[(triple13)]