The cow is big. The cow does not visit the lion. The lion does not eat the cow. The lion is not blue. The lion is kind. The lion likes the cow. The lion likes the mouse. The lion visits the mouse. The mouse eats the rabbit. The mouse is blue. The mouse is cold. The mouse is round. The mouse does not visit the cow. The rabbit is cold. The rabbit likes the mouse. The rabbit visits the cow. If the lion visits the mouse and the mouse likes the rabbit then the rabbit does not eat the lion. If the lion eats the cow and the lion is not kind then the cow is cold. If the lion is kind and the lion likes the mouse then the mouse likes the cow. If something eats the lion and the lion likes the rabbit then the lion eats the rabbit. Kind things are cold. If something likes the lion and it visits the rabbit then the rabbit visits the lion.
The lion is kind.
@0: The cow does not visit the lion.[(triple2)] The cow is big.[(triple1)] The lion does not eat the cow.[(triple3)] The lion is kind.[(triple5)] The lion is not blue.[(triple4)] The lion likes the cow.[(triple6)] The lion likes the mouse.[(triple7)] The lion visits the mouse.[(triple8)] The mouse does not visit the cow.[(triple13)] The mouse eats the rabbit.[(triple9)] The mouse is blue.[(triple10)] The mouse is cold.[(triple11)] The mouse is round.[(triple12)] The rabbit is cold.[(triple14)] The rabbit likes the mouse.[(triple15)] The rabbit visits the cow.[(triple16)] @1: The lion is cold.[(((triple5) -> rule5))] The mouse likes the cow.[(((triple5 triple7) -> rule3))]