The cat does not visit the dog. The cat visits the rabbit. The dog eats the squirrel. The dog is not blue. The dog likes the cat. The dog likes the squirrel. The dog visits the cat. The dog visits the rabbit. The rabbit eats the cat. The rabbit eats the squirrel. The squirrel is nice. The squirrel likes the dog. If something visits the cat and the cat likes the dog then the cat likes the squirrel. If something likes the squirrel then the squirrel is red. If something eats the cat and it does not eat the dog then the dog is not red.
The squirrel is red.
@0: The cat does not visit the dog.[(triple1)] The cat visits the rabbit.[(triple2)] The dog eats the squirrel.[(triple3)] The dog is not blue.[(triple4)] The dog likes the cat.[(triple5)] The dog likes the squirrel.[(triple6)] The dog visits the cat.[(triple7)] The dog visits the rabbit.[(triple8)] The rabbit eats the cat.[(triple9)] The rabbit eats the squirrel.[(triple10)] The squirrel is nice.[(triple11)] The squirrel likes the dog.[(triple12)] @1: The squirrel is red.[(((triple6) -> rule2))]