The bear does not see the dog. The bear visits the squirrel. The dog eats the bear. The dog is young. The dog does not visit the squirrel. The dog visits the tiger. The squirrel eats the bear. The squirrel eats the tiger. The squirrel is big. The tiger does not see the bear. The tiger sees the squirrel. The tiger visits the bear. If the dog is big and the dog visits the bear then the dog visits the squirrel. If the squirrel visits the tiger and the tiger is not rough then the tiger does not eat the bear. If something visits the dog then the dog sees the tiger. If something sees the squirrel and the squirrel sees the tiger then it visits the tiger. If the tiger visits the bear and the tiger sees the bear then the tiger visits the dog. If something is big then it sees the squirrel. If something sees the dog then the dog does not eat the squirrel. If something eats the bear then the bear is nice.
The dog eats the tiger.
@0: The bear does not see the dog.[(triple1)] The bear visits the squirrel.[(triple2)] The dog does not visit the squirrel.[(triple5)] The dog eats the bear.[(triple3)] The dog is young.[(triple4)] The dog visits the tiger.[(triple6)] The squirrel eats the bear.[(triple7)] The squirrel eats the tiger.[(triple8)] The squirrel is big.[(triple9)] The tiger does not see the bear.[(triple10)] The tiger sees the squirrel.[(triple11)] The tiger visits the bear.[(triple12)] @1: The bear is nice.[(((triple3) -> rule8) OR ((triple7) -> rule8))] The squirrel sees the squirrel.[(((triple9) -> rule6))]