The cow chases the mouse. The cow eats the mouse. The cow eats the tiger. The mouse chases the cow. The mouse does not visit the cow. The mouse visits the tiger. The tiger does not chase the cow. The tiger does not chase the mouse. The tiger eats the mouse. The tiger is not green. The tiger is kind. The tiger is not red. The tiger is round. The tiger visits the cow. The tiger visits the mouse. If someone chases the cow then the cow is rough. If someone is green then they do not visit the tiger. If someone eats the mouse then they do not visit the tiger.
The tiger is green.
@0: The cow chases the mouse.[(triple1)] The cow eats the mouse.[(triple2)] The cow eats the tiger.[(triple3)] The mouse chases the cow.[(triple4)] The mouse does not visit the cow.[(triple5)] The mouse visits the tiger.[(triple6)] The tiger does not chase the cow.[(triple7)] The tiger does not chase the mouse.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is kind.[(triple11)] The tiger is not green.[(triple10)] The tiger is not red.[(triple12)] The tiger is round.[(triple13)] The tiger visits the cow.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The cow does not visit the tiger.[(((triple2) -> rule3))] The cow is rough.[(((triple4) -> rule1))] The tiger does not visit the tiger.[(((triple9) -> rule3))]