The cow eats the lion. The cow eats the rabbit. The cow is red. The cow sees the lion. The cow visits the lion. The lion eats the rabbit. The lion is cold. The lion is kind. The rabbit does not eat the cow. The rabbit does not eat the tiger. The rabbit is not red. The rabbit visits the cow. The rabbit visits the lion. The tiger eats the rabbit. The tiger visits the rabbit. If someone eats the lion then the lion is not young. If the lion is red then the lion does not visit the tiger. If someone visits the cow then they see the lion. If the rabbit is not young then the rabbit is rough. If someone visits the tiger then they do not see the tiger. If someone visits the tiger then they see the tiger. If someone visits the rabbit and the rabbit does not eat the tiger then they do not see the rabbit. If the cow eats the rabbit then the cow does not see the rabbit.
The cow does not see the tiger.
@0: The cow eats the lion.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is red.[(triple3)] The cow sees the lion.[(triple4)] The cow visits the lion.[(triple5)] The lion eats the rabbit.[(triple6)] The lion is cold.[(triple7)] The lion is kind.[(triple8)] The rabbit does not eat the cow.[(triple9)] The rabbit does not eat the tiger.[(triple10)] The rabbit is not red.[(triple11)] The rabbit visits the cow.[(triple12)] The rabbit visits the lion.[(triple13)] The tiger eats the rabbit.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The cow does not see the rabbit.[(((triple2) -> rule8))] The lion is not young.[(((triple1) -> rule1))] The rabbit sees the lion.[(((triple12) -> rule3))] The tiger does not see the rabbit.[(((triple15 triple10) -> rule7))]