The cow is kind. The cow sees the dog. The cow sees the lion. The cow does not see the mouse. The dog eats the cow. The dog eats the mouse. The dog is big. The dog is kind. The dog is young. The lion eats the dog. The lion needs the cow. The mouse needs the lion. If the lion eats the mouse and the lion is not young then the lion is kind. If someone is round and they eat the dog then the dog does not need the lion. If someone needs the mouse and the mouse is big then the mouse is rough. If someone needs the cow and they eat the lion then they are rough. If someone is kind and they eat the cow then they see the lion. If someone sees the dog and they need the cow then the cow does not need the mouse. If someone eats the dog and the dog sees the lion then the dog is rough. If someone sees the cow and the cow sees the dog then the dog is rough.
The mouse is rough.
@0: The cow does not see the mouse.[(triple4)] The cow is kind.[(triple1)] The cow sees the dog.[(triple2)] The cow sees the lion.[(triple3)] The dog eats the cow.[(triple5)] The dog eats the mouse.[(triple6)] The dog is big.[(triple7)] The dog is kind.[(triple8)] The dog is young.[(triple9)] The lion eats the dog.[(triple10)] The lion needs the cow.[(triple11)] The mouse needs the lion.[(triple12)] @1: The dog sees the lion.[(((triple8 triple5) -> rule5))] @2: The dog is rough.[(((triple10 ((triple8 triple5) -> rule5)) -> rule7))]