The cow does not eat the mouse. The cow is not green. The cow is nice. The cow is rough. The cow is not round. The cow is young. The cow sees the mouse. The cow visits the mouse. The mouse eats the cow. The mouse is green. The mouse is not nice. The mouse is rough. The mouse is round. The mouse is young. The mouse sees the cow. If someone visits the cow and the cow does not eat the mouse then the mouse sees the cow. If the cow is round then the cow sees the mouse. If the cow sees the mouse and the cow does not visit the mouse then the mouse is young. If the mouse is young then the mouse visits the cow. If someone is round and they eat the cow then they do not see the mouse. If someone eats the cow and they see the cow then the cow is young. If someone is nice and they see the mouse then they see the cow. If someone sees the mouse and the mouse sees the cow then the mouse is rough.
The mouse is not round.
@0: The cow does not eat the mouse.[(triple1)] The cow is nice.[(triple3)] The cow is not green.[(triple2)] The cow is not round.[(triple5)] The cow is rough.[(triple4)] The cow is young.[(triple6 OR ((triple9 triple15) -> rule6) OR ((triple9 ((((triple14) -> rule4) triple1) -> rule1)) -> rule6))] The cow sees the mouse.[(triple7)] The cow visits the mouse.[(triple8)] The mouse eats the cow.[(triple9)] The mouse is green.[(triple10)] The mouse is not nice.[(triple11)] The mouse is rough.[(triple12 OR ((triple7 triple15) -> rule8) OR ((triple7 ((((triple14) -> rule4) triple1) -> rule1)) -> rule8))] The mouse is round.[(triple13)] The mouse is young.[(triple14)] The mouse sees the cow.[(triple15 OR ((((triple14) -> rule4) triple1) -> rule1))] @1: The cow sees the cow.[(((triple3 triple7) -> rule7))] The mouse does not see the mouse.[(((triple13 triple9) -> rule5))] The mouse visits the cow.[(((triple14) -> rule4))]