The cow is nice. The cow likes the dog. The cow likes the tiger. The cow sees the dog. The cow visits the squirrel. The dog is cold. The dog likes the cow. The dog likes the squirrel. The dog visits the squirrel. The squirrel is big. The squirrel is rough. The squirrel sees the tiger. The tiger sees the cow. The tiger sees the squirrel. The tiger visits the cow. The tiger visits the squirrel. If something visits the tiger and the tiger sees the cow then the cow visits the squirrel. If something visits the cow then it is blue.
The dog likes the tiger.
@0: The cow is nice.[(triple1)] The cow likes the dog.[(triple2)] The cow likes the tiger.[(triple3)] The cow sees the dog.[(triple4)] The cow visits the squirrel.[(triple5)] The dog is cold.[(triple6)] The dog likes the cow.[(triple7)] The dog likes the squirrel.[(triple8)] The dog visits the squirrel.[(triple9)] The squirrel is big.[(triple10)] The squirrel is rough.[(triple11)] The squirrel sees the tiger.[(triple12)] The tiger sees the cow.[(triple13)] The tiger sees the squirrel.[(triple14)] The tiger visits the cow.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The tiger is blue.[(((triple15) -> rule2))]