The cow likes the rabbit. The cow sees the rabbit. The rabbit is round. The squirrel eats the rabbit. The squirrel is round. The squirrel likes the tiger. The squirrel sees the rabbit. The tiger eats the rabbit. The tiger likes the rabbit. The tiger sees the squirrel. If someone sees the cow then the cow does not eat the tiger. If someone sees the squirrel then they like the tiger. If someone is cold and they eat the squirrel then they eat the tiger.
The tiger eats the rabbit.
@0: The cow likes the rabbit.[(triple1)] The cow sees the rabbit.[(triple2)] The rabbit is round.[(triple3)] The squirrel eats the rabbit.[(triple4)] The squirrel is round.[(triple5)] The squirrel likes the tiger.[(triple6)] The squirrel sees the rabbit.[(triple7)] The tiger eats the rabbit.[(triple8)] The tiger likes the rabbit.[(triple9)] The tiger sees the squirrel.[(triple10)] @1: The tiger likes the tiger.[(((triple10) -> rule2))]