The cow eats the mouse. The cow is blue. The cow is not cold. The cow is not kind. The cow is rough. The cow is not round. The cow likes the mouse. The cow visits the mouse. The mouse eats the cow. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is rough. The mouse is round. The mouse likes the cow. The mouse visits the cow. If the mouse does not visit the cow then the cow eats the mouse. If the cow is not blue then the cow does not eat the mouse. If something is kind and it visits the cow then the cow visits the mouse. If something is rough then it eats the cow. If something visits the cow and it eats the cow then the cow is not cold. If something is rough and it does not visit the mouse then the mouse eats the cow.
The mouse is not round.
@0: The cow eats the mouse.[(triple1)] The cow is blue.[(triple2)] The cow is not cold.[(triple3 OR ((triple16 triple9) -> rule5) OR ((triple16 ((triple13) -> rule4)) -> rule5))] The cow is not kind.[(triple4)] The cow is not round.[(triple6)] The cow is rough.[(triple5)] The cow likes the mouse.[(triple7)] The cow visits the mouse.[(triple8 OR ((triple12 triple16) -> rule3))] The mouse eats the cow.[(triple9 OR ((triple13) -> rule4))] The mouse is blue.[(triple10)] The mouse is cold.[(triple11)] The mouse is kind.[(triple12)] The mouse is rough.[(triple13)] The mouse is round.[(triple14)] The mouse likes the cow.[(triple15)] The mouse visits the cow.[(triple16)] @1: The cow eats the cow.[(((triple5) -> rule4))]