The bear does not like the squirrel. The cat is blue. The dog likes the cat. The dog visits the bear. The squirrel is blue. The squirrel does not like the bear. The squirrel visits the bear. If the squirrel visits the dog and the dog eats the bear then the bear visits the squirrel. If the dog is cold and the dog does not visit the cat then the dog visits the bear. If the dog likes the bear and the dog is not big then the dog eats the cat. If the squirrel is big then the squirrel eats the bear. If someone visits the bear then they like the squirrel. If someone visits the bear and the bear does not like the cat then they like the squirrel.
The squirrel does not eat the bear.
@0: The bear does not like the squirrel.[(triple1)] The cat is blue.[(triple2)] The dog likes the cat.[(triple3)] The dog visits the bear.[(triple4)] The squirrel does not like the bear.[(triple6)] The squirrel is blue.[(triple5)] The squirrel visits the bear.[(triple7)] @1: The dog likes the squirrel.[(((triple4) -> rule5))] The squirrel likes the squirrel.[(((triple7) -> rule5))]