The cow chases the mouse. The cow does not chase the rabbit. The mouse chases the cow. The mouse does not chase the rabbit. The mouse is kind. The mouse is rough. The mouse is young. The mouse likes the rabbit. The mouse sees the rabbit. The rabbit chases the cow. The rabbit chases the mouse. The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit likes the mouse. The rabbit sees the cow. If the mouse is not big then the mouse does not see the rabbit. If the mouse is not blue then the mouse sees the rabbit. If the mouse is rough then the mouse likes the rabbit. If the mouse is young then the mouse likes the rabbit. If the mouse sees the rabbit and the mouse is kind then the mouse likes the rabbit. If someone likes the rabbit and they are young then they see the mouse. If someone is blue then they do not see the mouse. If someone is kind and not big then they like the cow.
The mouse does not chase the rabbit.
@0: The cow chases the mouse.[(triple1)] The cow does not chase the rabbit.[(triple2)] The mouse chases the cow.[(triple3)] The mouse does not chase the rabbit.[(triple4)] The mouse is kind.[(triple5)] The mouse is rough.[(triple6)] The mouse is young.[(triple7)] The mouse likes the rabbit.[(triple8 OR ((triple6) -> rule3) OR ((triple7) -> rule4) OR ((triple9 triple5) -> rule5))] The mouse sees the rabbit.[(triple9)] The rabbit chases the cow.[(triple10)] The rabbit chases the mouse.[(triple11)] The rabbit is big.[(triple12)] The rabbit is blue.[(triple13)] The rabbit is kind.[(triple14)] The rabbit likes the mouse.[(triple15)] The rabbit sees the cow.[(triple16)] @1: The mouse sees the mouse.[(((triple8 triple7) -> rule6) OR ((((triple6) -> rule3) triple7) -> rule6) OR ((((triple7) -> rule4) triple7) -> rule6) OR ((((triple9 triple5) -> rule5) triple7) -> rule6))] The rabbit does not see the mouse.[(((triple13) -> rule7))]