The cat likes the dog. The cat needs the tiger. The dog is cold. The dog likes the squirrel. The dog likes the tiger. The dog needs the tiger. The squirrel is red. The squirrel likes the cat. The squirrel likes the tiger. The squirrel sees the cat. The squirrel sees the dog. The tiger is green. The tiger is red. The tiger likes the cat. The tiger likes the dog. The tiger sees the cat. If the tiger likes the dog and the tiger sees the squirrel then the squirrel likes the cat. If someone likes the cat then they see the tiger.
The dog is blue.
@0: The cat likes the dog.[(triple1)] The cat needs the tiger.[(triple2)] The dog is cold.[(triple3)] The dog likes the squirrel.[(triple4)] The dog likes the tiger.[(triple5)] The dog needs the tiger.[(triple6)] The squirrel is red.[(triple7)] The squirrel likes the cat.[(triple8)] The squirrel likes the tiger.[(triple9)] The squirrel sees the cat.[(triple10)] The squirrel sees the dog.[(triple11)] The tiger is green.[(triple12)] The tiger is red.[(triple13)] The tiger likes the cat.[(triple14)] The tiger likes the dog.[(triple15)] The tiger sees the cat.[(triple16)] @1: The squirrel sees the tiger.[(((triple8) -> rule2))] The tiger sees the tiger.[(((triple14) -> rule2))]