The cow visits the tiger. The squirrel is big. The tiger visits the squirrel. If someone chases the cow and they see the cow then the cow visits the tiger. If someone chases the cow then they are round. All big people are round. If someone visits the tiger then they chase the cow. If someone is blue and they see the cow then the cow sees the tiger. If someone is blue and they do not visit the cow then they chase the squirrel.
The cow chases the cow.
@0: The cow visits the tiger.[(triple1)] The squirrel is big.[(triple2)] The tiger visits the squirrel.[(triple3)] @1: The cow chases the cow.[(((triple1) -> rule4))] The squirrel is round.[(((triple2) -> rule3))] @2: The cow is round.[(((((triple1) -> rule4)) -> rule2))]