The cat is kind. The cat likes the mouse. The cat needs the cow. The cow chases the mouse. The cow is red. The cow is round. The cow likes the cat. The cow needs the cat. The lion does not chase the cow. The lion is red. The mouse chases the cat. The mouse is kind. The mouse is round. The mouse likes the cow. The mouse needs the cat. If someone chases the mouse then they do not need the mouse. If someone likes the mouse and the mouse does not like the cat then they are not cold.
The cow is not round.
@0: The cat is kind.[(triple1)] The cat likes the mouse.[(triple2)] The cat needs the cow.[(triple3)] The cow chases the mouse.[(triple4)] The cow is red.[(triple5)] The cow is round.[(triple6)] The cow likes the cat.[(triple7)] The cow needs the cat.[(triple8)] The lion does not chase the cow.[(triple9)] The lion is red.[(triple10)] The mouse chases the cat.[(triple11)] The mouse is kind.[(triple12)] The mouse is round.[(triple13)] The mouse likes the cow.[(triple14)] The mouse needs the cat.[(triple15)] @1: The cow does not need the mouse.[(((triple4) -> rule1))]