The bear is not big. The bear is blue. The bear does not like the dog. The bear needs the dog. The bear sees the dog. The dog is blue. The dog is green. The dog is not nice. The dog is rough. The dog likes the bear. The dog needs the bear. The dog sees the bear. If someone likes the dog and they see the bear then they are not rough. If someone sees the bear then they see the dog. If someone is blue then they see the dog.
The bear is rough.
@0: The bear does not like the dog.[(triple3)] The bear is blue.[(triple2)] The bear is not big.[(triple1)] The bear needs the dog.[(triple4)] The bear sees the dog.[(triple5 OR ((triple2) -> rule3))] The dog is blue.[(triple6)] The dog is green.[(triple7)] The dog is not nice.[(triple8)] The dog is rough.[(triple9)] The dog likes the bear.[(triple10)] The dog needs the bear.[(triple11)] The dog sees the bear.[(triple12)] @1: The dog sees the dog.[(((triple12) -> rule2) OR ((triple6) -> rule3))]