The cow is round. The mouse needs the squirrel. The squirrel is big. The tiger chases the cow. The tiger eats the mouse. The tiger eats the squirrel. The tiger is big. If someone needs the tiger and the tiger chases the cow then they do not eat the squirrel. If someone chases the tiger then they do not need the tiger. If someone chases the mouse then they need the tiger. If the squirrel chases the tiger and the tiger does not eat the mouse then the tiger chases the mouse. If someone is kind and they do not chase the cow then they need the cow. If someone is big then they chase the tiger.
The cow eats the squirrel.
@0: The cow is round.[(triple1)] The mouse needs the squirrel.[(triple2)] The squirrel is big.[(triple3)] The tiger chases the cow.[(triple4)] The tiger eats the mouse.[(triple5)] The tiger eats the squirrel.[(triple6)] The tiger is big.[(triple7)] @1: The squirrel chases the tiger.[(((triple3) -> rule6))] The tiger chases the tiger.[(((triple7) -> rule6))] @2: The squirrel does not need the tiger.[(((((triple3) -> rule6)) -> rule2))] The tiger does not need the tiger.[(((((triple7) -> rule6)) -> rule2))]