The cat chases the lion. The cat eats the lion. The cat is not young. The cat sees the lion. The cat sees the tiger. The cow chases the lion. The cow sees the cat. The cow sees the tiger. The lion chases the cow. The lion does not chase the tiger. The lion eats the tiger. The lion is blue. The lion is rough. The tiger chases the cat. The tiger chases the lion. If something sees the lion and it does not eat the tiger then the tiger sees the cat. If something is red and it chases the cow then it does not eat the cat. Red things are not blue. If something chases the cow and it is rough then the cow does not eat the cat. If something is cold then it sees the cat. If something eats the cow and the cow is rough then it is not cold. If something is blue and it sees the lion then it chases the cat. If something eats the lion and the lion chases the cow then the cow chases the tiger.
The cow eats the cow.
@0: The cat chases the lion.[(triple1)] The cat eats the lion.[(triple2)] The cat is not young.[(triple3)] The cat sees the lion.[(triple4)] The cat sees the tiger.[(triple5)] The cow chases the lion.[(triple6)] The cow sees the cat.[(triple7)] The cow sees the tiger.[(triple8)] The lion chases the cow.[(triple9)] The lion does not chase the tiger.[(triple10)] The lion eats the tiger.[(triple11)] The lion is blue.[(triple12)] The lion is rough.[(triple13)] The tiger chases the cat.[(triple14)] The tiger chases the lion.[(triple15)] @1: The cow chases the tiger.[(((triple2 triple9) -> rule8))] The cow does not eat the cat.[(((triple9 triple13) -> rule4))]