The cow chases the tiger. The mouse is rough. The mouse needs the tiger. The mouse visits the cow. The mouse visits the tiger. The rabbit visits the mouse. The tiger chases the rabbit. The tiger is rough. The tiger is round. The tiger visits the mouse. If someone needs the cow and they visit the rabbit then they visit the tiger. If someone is green and they chase the cow then they are cold. If someone needs the rabbit then they chase the rabbit. If someone needs the cow and they need the tiger then they chase the mouse. If someone is rough then they visit the cow. If someone needs the rabbit then the rabbit visits the cow. If someone chases the cow and the cow needs the rabbit then they are blue. If someone is round and blue then they visit the cow.
The rabbit visits the rabbit.
@0: The cow chases the tiger.[(triple1)] The mouse is rough.[(triple2)] The mouse needs the tiger.[(triple3)] The mouse visits the cow.[(triple4 OR ((triple2) -> rule5))] The mouse visits the tiger.[(triple5)] The rabbit visits the mouse.[(triple6)] The tiger chases the rabbit.[(triple7)] The tiger is rough.[(triple8)] The tiger is round.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The tiger visits the cow.[(((triple8) -> rule5))]