The cow is kind. The cow is nice. The cow needs the mouse. The cow sees the mouse. The dog eats the cow. The dog eats the mouse. The dog is cold. The dog is kind. The dog is nice. The dog sees the mouse. The mouse eats the cow. The mouse eats the dog. The mouse is nice. The mouse needs the dog. The mouse sees the cow. The mouse sees the dog. If the cow eats the dog then the dog needs the cow. If someone is big and they need the dog then they eat the dog. If someone sees the dog and the dog eats the cow then they eat the cow. If someone eats the dog and the dog is nice then they need the mouse. If someone eats the dog and the dog needs the cow then the dog eats the mouse. If someone needs the cow and the cow needs the mouse then they are nice.
The cow sees the dog.
@0: The cow is kind.[(triple1)] The cow is nice.[(triple2)] The cow needs the mouse.[(triple3)] The cow sees the mouse.[(triple4)] The dog eats the cow.[(triple5)] The dog eats the mouse.[(triple6)] The dog is cold.[(triple7)] The dog is kind.[(triple8)] The dog is nice.[(triple9)] The dog sees the mouse.[(triple10)] The mouse eats the cow.[(triple11 OR ((triple16 triple5) -> rule3))] The mouse eats the dog.[(triple12)] The mouse is nice.[(triple13)] The mouse needs the dog.[(triple14)] The mouse sees the cow.[(triple15)] The mouse sees the dog.[(triple16)] @1: The mouse needs the mouse.[(((triple12 triple9) -> rule4))]