The cow does not chase the mouse. The cow is big. The cow is blue. The cow is cold. The cow is red. The cow is not rough. The cow needs the mouse. The cow visits the mouse. The mouse does not chase the cow. The mouse is big. The mouse is blue. The mouse is red. The mouse is rough. The mouse needs the cow. The mouse does not visit the cow. If someone chases the cow then the cow chases the mouse. If someone visits the cow and they are cold then the cow chases the mouse. If someone chases the mouse then they are not cold. If someone is rough then they chase the mouse. If someone visits the mouse and they are not blue then they do not need the cow. If someone chases the mouse and they are not cold then they visit the mouse.
The cow visits the cow.
@0: The cow does not chase the mouse.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow is not rough.[(triple6)] The cow is red.[(triple5)] The cow needs the mouse.[(triple7)] The cow visits the mouse.[(triple8)] The mouse does not chase the cow.[(triple9)] The mouse does not visit the cow.[(triple15)] The mouse is big.[(triple10)] The mouse is blue.[(triple11)] The mouse is red.[(triple12)] The mouse is rough.[(triple13)] The mouse needs the cow.[(triple14)] @1: The mouse chases the mouse.[(((triple13) -> rule4))] @2: The mouse is not cold.[(((((triple13) -> rule4)) -> rule3))] @3: The mouse visits the mouse.[(((((triple13) -> rule4) ((((triple13) -> rule4)) -> rule3)) -> rule6))]