The cow likes the rabbit. The cow likes the tiger. The cow needs the squirrel. The cow sees the tiger. The rabbit needs the tiger. The rabbit sees the cow. The squirrel needs the tiger. The tiger likes the rabbit. The tiger sees the cow. The tiger sees the squirrel. If someone sees the rabbit then they are green. If someone likes the rabbit then they like the squirrel. If the rabbit sees the tiger and the rabbit likes the squirrel then the rabbit is big. If someone is big and they like the cow then they need the cow. All rough people are big. If someone sees the rabbit and the rabbit sees the cow then the rabbit is green. If someone is round then they see the cow. If someone sees the squirrel and they see the cow then they need the cow.
The squirrel needs the tiger.
@0: The cow likes the rabbit.[(triple1)] The cow likes the tiger.[(triple2)] The cow needs the squirrel.[(triple3)] The cow sees the tiger.[(triple4)] The rabbit needs the tiger.[(triple5)] The rabbit sees the cow.[(triple6)] The squirrel needs the tiger.[(triple7)] The tiger likes the rabbit.[(triple8)] The tiger sees the cow.[(triple9)] The tiger sees the squirrel.[(triple10)] @1: The cow likes the squirrel.[(((triple1) -> rule2))] The tiger likes the squirrel.[(((triple8) -> rule2))] The tiger needs the cow.[(((triple10 triple9) -> rule8))]