The cow does not chase the tiger. The cow needs the squirrel. The cow sees the squirrel. The lion is not cold. The lion is young. The lion needs the cow. The lion sees the cow. The lion sees the squirrel. The squirrel is big. The squirrel is cold. The squirrel is not red. The tiger is young. If something chases the squirrel then it chases the cow. If something chases the tiger then it does not chase the cow. If something is young then it sees the lion. If something needs the lion then it does not chase the lion. If something chases the lion and the lion needs the tiger then the lion does not chase the tiger. If something chases the lion then the lion chases the tiger. If something sees the cow then the cow is not big. If something sees the lion then it sees the tiger.
The cow does not chase the cow.
@0: The cow does not chase the tiger.[(triple1)] The cow needs the squirrel.[(triple2)] The cow sees the squirrel.[(triple3)] The lion is not cold.[(triple4)] The lion is young.[(triple5)] The lion needs the cow.[(triple6)] The lion sees the cow.[(triple7)] The lion sees the squirrel.[(triple8)] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is not red.[(triple11)] The tiger is young.[(triple12)] @1: The cow is not big.[(((triple7) -> rule7))] The lion sees the lion.[(((triple5) -> rule3))] The tiger sees the lion.[(((triple12) -> rule3))] @2: The lion sees the tiger.[(((((triple5) -> rule3)) -> rule8))] The tiger sees the tiger.[(((((triple12) -> rule3)) -> rule8))]