The bear eats the cat. The bear eats the dog. The bear is blue. The bear is rough. The bear is young. The bear needs the dog. The bear sees the cat. The cat is big. The cat sees the dog. The dog eats the bear. The dog is big. The dog is blue. The dog is rough. The dog needs the bear. The dog sees the bear. The dog sees the cat. If something sees the dog then it is rough.
The dog does not see the bear.
@0: The bear eats the cat.[(triple1)] The bear eats the dog.[(triple2)] The bear is blue.[(triple3)] The bear is rough.[(triple4)] The bear is young.[(triple5)] The bear needs the dog.[(triple6)] The bear sees the cat.[(triple7)] The cat is big.[(triple8)] The cat sees the dog.[(triple9)] The dog eats the bear.[(triple10)] The dog is big.[(triple11)] The dog is blue.[(triple12)] The dog is rough.[(triple13)] The dog needs the bear.[(triple14)] The dog sees the bear.[(triple15)] The dog sees the cat.[(triple16)] @1: The cat is rough.[(((triple9) -> rule1))]