The cow chases the dog. The cow does not see the tiger. The cow visits the dog. The cow visits the tiger. The dog does not see the lion. The lion chases the cow. The lion chases the dog. The lion does not chase the tiger. The lion is young. The lion sees the cow. The lion does not see the dog. The lion sees the tiger. The lion visits the tiger. The tiger sees the dog. The tiger visits the lion. If something chases the tiger and the tiger chases the lion then it is not young. If something visits the lion then the lion is green. If something sees the dog then it does not see the lion. If something is cold then it chases the cow. If something sees the tiger then the tiger is cold. If something visits the cow then the cow visits the tiger. If something sees the tiger then it is nice. If something visits the lion and it chases the cow then it chases the dog.
The cow is not nice.
@0: The cow chases the dog.[(triple1)] The cow does not see the tiger.[(triple2)] The cow visits the dog.[(triple3)] The cow visits the tiger.[(triple4)] The dog does not see the lion.[(triple5)] The lion chases the cow.[(triple6)] The lion chases the dog.[(triple7)] The lion does not chase the tiger.[(triple8)] The lion does not see the dog.[(triple11)] The lion is young.[(triple9)] The lion sees the cow.[(triple10)] The lion sees the tiger.[(triple12)] The lion visits the tiger.[(triple13)] The tiger sees the dog.[(triple14)] The tiger visits the lion.[(triple15)] @1: The lion is green.[(((triple15) -> rule2))] The lion is nice.[(((triple12) -> rule7))] The tiger does not see the lion.[(((triple14) -> rule3))] The tiger is cold.[(((triple12) -> rule5))] @2: The tiger chases the cow.[(((((triple12) -> rule5)) -> rule4))] @3: The tiger chases the dog.[(((triple15 ((((triple12) -> rule5)) -> rule4)) -> rule8))]