The mouse is big. The mouse is round. The mouse needs the tiger. The mouse visits the squirrel. The mouse does not visit the tiger. The squirrel needs the mouse. The squirrel needs the tiger. The tiger does not eat the squirrel. The tiger is big. The tiger is green. The tiger needs the squirrel. The tiger visits the mouse. If someone is green and they need the mouse then they eat the squirrel. If someone is big and round then they need the mouse.
The mouse is round.
@0: The mouse does not visit the tiger.[(triple5)] The mouse is big.[(triple1)] The mouse is round.[(triple2)] The mouse needs the tiger.[(triple3)] The mouse visits the squirrel.[(triple4)] The squirrel needs the mouse.[(triple6)] The squirrel needs the tiger.[(triple7)] The tiger does not eat the squirrel.[(triple8)] The tiger is big.[(triple9)] The tiger is green.[(triple10)] The tiger needs the squirrel.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The mouse needs the mouse.[(((triple1 triple2) -> rule2))]