The cow likes the squirrel. The cow likes the tiger. The cow visits the tiger. The squirrel is nice. The squirrel likes the tiger. The tiger chases the cow. The tiger is kind. The tiger is nice. The tiger likes the cow. The tiger likes the squirrel. The tiger visits the cow. The tiger visits the squirrel. If the squirrel chases the tiger and the tiger likes the cow then the cow visits the squirrel. If someone visits the cow then they chase the cow. If someone is kind then they visit the tiger.
The tiger chases the squirrel.
@0: The cow likes the squirrel.[(triple1)] The cow likes the tiger.[(triple2)] The cow visits the tiger.[(triple3)] The squirrel is nice.[(triple4)] The squirrel likes the tiger.[(triple5)] The tiger chases the cow.[(triple6 OR ((triple11) -> rule2))] The tiger is kind.[(triple7)] The tiger is nice.[(triple8)] The tiger likes the cow.[(triple9)] The tiger likes the squirrel.[(triple10)] The tiger visits the cow.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The tiger visits the tiger.[(((triple7) -> rule3))]