The bear is not round. The bear visits the mouse. The cow does not visit the tiger. The mouse is rough. The mouse is not round. The tiger is blue. The tiger does not visit the cow. If the cow is big then the cow is round. If someone visits the bear and they are not blue then they are big. If the cow chases the tiger and the tiger is not rough then the tiger eats the bear. If someone chases the mouse and they visit the cow then the cow eats the mouse. If someone visits the mouse then the mouse chases the bear. If the bear is kind and the bear visits the tiger then the bear chases the cow. If someone chases the mouse then the mouse does not eat the bear. If someone visits the bear and the bear is rough then they do not chase the tiger.
The mouse is not big.
@0: The bear is not round.[(triple1)] The bear visits the mouse.[(triple2)] The cow does not visit the tiger.[(triple3)] The mouse is not round.[(triple5)] The mouse is rough.[(triple4)] The tiger does not visit the cow.[(triple7)] The tiger is blue.[(triple6)] @1: The mouse chases the bear.[(((triple2) -> rule5))]