The cow is cold. The cow is kind. The cow is round. The cow sees the lion. The cow does not visit the lion. The lion is kind. The lion does not see the tiger. The mouse does not chase the tiger. The mouse sees the cow. The mouse visits the cow. The mouse does not visit the lion. The mouse does not visit the tiger. The tiger is kind. The tiger is round. The tiger does not see the cow. The tiger visits the cow. If the mouse chases the lion then the lion chases the mouse. If someone sees the cow then they are kind. If the cow visits the mouse then the mouse is kind.
The mouse does not visit the lion.
@0: The cow does not visit the lion.[(triple5)] The cow is cold.[(triple1)] The cow is kind.[(triple2)] The cow is round.[(triple3)] The cow sees the lion.[(triple4)] The lion does not see the tiger.[(triple7)] The lion is kind.[(triple6)] The mouse does not chase the tiger.[(triple8)] The mouse does not visit the lion.[(triple11)] The mouse does not visit the tiger.[(triple12)] The mouse sees the cow.[(triple9)] The mouse visits the cow.[(triple10)] The tiger does not see the cow.[(triple15)] The tiger is kind.[(triple13)] The tiger is round.[(triple14)] The tiger visits the cow.[(triple16)] @1: The mouse is kind.[(((triple9) -> rule2))]