The lion does not chase the squirrel. The lion chases the tiger. The lion is blue. The rabbit chases the tiger. The rabbit visits the lion. The rabbit visits the squirrel. The squirrel does not chase the rabbit. The squirrel needs the tiger. The tiger chases the rabbit. The tiger is big. The tiger visits the lion. The tiger visits the squirrel. If something is big and it visits the lion then it does not chase the tiger.
The lion chases the tiger.
@0: The lion chases the tiger.[(triple2)] The lion does not chase the squirrel.[(triple1)] The lion is blue.[(triple3)] The rabbit chases the tiger.[(triple4)] The rabbit visits the lion.[(triple5)] The rabbit visits the squirrel.[(triple6)] The squirrel does not chase the rabbit.[(triple7)] The squirrel needs the tiger.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger is big.[(triple10)] The tiger visits the lion.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The tiger does not chase the tiger.[(((triple10 triple11) -> rule1))]