The cat chases the dog. The cat sees the dog. The cow eats the mouse. The cow is big. The cow is kind. The dog chases the cat. The dog eats the cat. The dog eats the cow. The dog is green. The mouse eats the cat. If the cow eats the mouse then the mouse is kind.
The cat eats the mouse.
@0: The cat chases the dog.[(triple1)] The cat sees the dog.[(triple2)] The cow eats the mouse.[(triple3)] The cow is big.[(triple4)] The cow is kind.[(triple5)] The dog chases the cat.[(triple6)] The dog eats the cat.[(triple7)] The dog eats the cow.[(triple8)] The dog is green.[(triple9)] The mouse eats the cat.[(triple10)] @1: The mouse is kind.[(((triple3) -> rule1))]