The dog chases the squirrel. The dog chases the tiger. The dog is green. The dog is rough. The dog likes the squirrel. The dog likes the tiger. The squirrel chases the dog. The squirrel chases the tiger. The squirrel is cold. The squirrel likes the tiger. The squirrel visits the dog. The squirrel visits the tiger. The tiger is rough. The tiger likes the dog. The tiger likes the squirrel. The tiger visits the dog. If the dog likes the squirrel and the squirrel chases the dog then the squirrel chases the tiger.
The squirrel does not like the tiger.
@0: The dog chases the squirrel.[(triple1)] The dog chases the tiger.[(triple2)] The dog is green.[(triple3)] The dog is rough.[(triple4)] The dog likes the squirrel.[(triple5)] The dog likes the tiger.[(triple6)] The squirrel chases the dog.[(triple7)] The squirrel chases the tiger.[(triple8 OR ((triple5 triple7) -> rule1))] The squirrel is cold.[(triple9)] The squirrel likes the tiger.[(triple10)] The squirrel visits the dog.[(triple11)] The squirrel visits the tiger.[(triple12)] The tiger is rough.[(triple13)] The tiger likes the dog.[(triple14)] The tiger likes the squirrel.[(triple15)] The tiger visits the dog.[(triple16)]