The cow eats the dog. The cow eats the mouse. The dog eats the mouse. The dog is nice. The mouse chases the dog. The mouse is red. The mouse needs the cow. If the cow is blue and the cow is cold then the cow is kind. If something needs the dog then the dog eats the mouse. If something eats the cow and the cow is nice then the cow needs the mouse. If something needs the mouse then it needs the cow. If something is cold and it eats the dog then the dog eats the mouse. If the cow is blue and the cow needs the mouse then the mouse eats the dog. If the dog chases the cow then the dog chases the mouse. If something is red then it needs the mouse.
The mouse is kind.
@0: The cow eats the dog.[(triple1)] The cow eats the mouse.[(triple2)] The dog eats the mouse.[(triple3)] The dog is nice.[(triple4)] The mouse chases the dog.[(triple5)] The mouse is red.[(triple6)] The mouse needs the cow.[(triple7 OR ((((triple6) -> rule8)) -> rule4))] @1: The mouse needs the mouse.[(((triple6) -> rule8))]