The cow sees the dog. The dog is big. The dog likes the mouse. The dog sees the cow. The mouse is big. The mouse is kind. The mouse sees the dog. If the mouse chases the cow then the cow likes the dog. If something chases the mouse then it likes the cow. If something likes the mouse then the mouse sees the dog. If something is nice and kind then it likes the mouse. If something sees the mouse and the mouse likes the dog then the mouse sees the dog. If something sees the mouse then the mouse likes the cow.
The mouse does not like the cow.
@0: The cow sees the dog.[(triple1)] The dog is big.[(triple2)] The dog likes the mouse.[(triple3)] The dog sees the cow.[(triple4)] The mouse is big.[(triple5)] The mouse is kind.[(triple6)] The mouse sees the dog.[(triple7 OR ((triple3) -> rule3))]