The bear chases the dog. The bear is kind. The bear is rough. The bear likes the cat. The bear likes the dog. The bear needs the dog. The cat is blue. The cat is kind. The cat is not rough. The cat needs the bear. The dog does not chase the bear. The dog chases the cat. The dog likes the cat. The dog needs the bear. The dog does not need the cat. If someone likes the bear and the bear chases the dog then the dog is not blue. If someone is blue and they like the bear then they do not need the cat. If someone is rough and they need the dog then they chase the cat.
The cat does not chase the cat.
@0: The bear chases the dog.[(triple1)] The bear is kind.[(triple2)] The bear is rough.[(triple3)] The bear likes the cat.[(triple4)] The bear likes the dog.[(triple5)] The bear needs the dog.[(triple6)] The cat is blue.[(triple7)] The cat is kind.[(triple8)] The cat is not rough.[(triple9)] The cat needs the bear.[(triple10)] The dog chases the cat.[(triple12)] The dog does not chase the bear.[(triple11)] The dog does not need the cat.[(triple15)] The dog likes the cat.[(triple13)] The dog needs the bear.[(triple14)] @1: The bear chases the cat.[(((triple3 triple6) -> rule3))]