The cow is not young. The cow likes the lion. The lion does not chase the squirrel. The lion likes the tiger. The squirrel is young. The tiger chases the squirrel. The tiger is big. The tiger is round. The tiger likes the lion. The tiger visits the squirrel. If the squirrel visits the tiger then the squirrel visits the cow. If something is red then it likes the cow. If something likes the squirrel and it is not young then the squirrel is big. If something is young then it likes the lion. If something visits the cow then it is not red. If the squirrel is red then the squirrel visits the tiger. If the tiger is big then the tiger chases the squirrel. If something visits the squirrel and the squirrel does not visit the tiger then the squirrel does not chase the cow.
The tiger does not like the lion.
@0: The cow is not young.[(triple1)] The cow likes the lion.[(triple2)] The lion does not chase the squirrel.[(triple3)] The lion likes the tiger.[(triple4)] The squirrel is young.[(triple5)] The tiger chases the squirrel.[(triple6 OR ((triple7) -> rule7))] The tiger is big.[(triple7)] The tiger is round.[(triple8)] The tiger likes the lion.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The squirrel likes the lion.[(((triple5) -> rule4))]