The cow sees the squirrel. The mouse does not chase the cow. The mouse eats the squirrel. The mouse is young. The mouse does not see the tiger. The squirrel chases the tiger. The squirrel eats the mouse. The tiger does not chase the mouse. The tiger eats the cow. The tiger eats the squirrel. The tiger is green. The tiger is young. If the cow sees the tiger then the tiger is nice. If someone eats the squirrel then the squirrel is big. If the mouse does not chase the cow then the cow chases the squirrel. If the cow is not young and the cow does not eat the tiger then the cow chases the squirrel. If someone is nice then they see the tiger. If the tiger chases the mouse then the tiger eats the squirrel. If someone chases the squirrel then they are nice.
The tiger does not see the tiger.
@0: The cow sees the squirrel.[(triple1)] The mouse does not chase the cow.[(triple2)] The mouse does not see the tiger.[(triple5)] The mouse eats the squirrel.[(triple3)] The mouse is young.[(triple4)] The squirrel chases the tiger.[(triple6)] The squirrel eats the mouse.[(triple7)] The tiger does not chase the mouse.[(triple8)] The tiger eats the cow.[(triple9)] The tiger eats the squirrel.[(triple10)] The tiger is green.[(triple11)] The tiger is young.[(triple12)] @1: The cow chases the squirrel.[(((triple2) -> rule3))] The squirrel is big.[(((triple10) -> rule2) OR ((triple3) -> rule2))] @2: The cow is nice.[(((((triple2) -> rule3)) -> rule7))] @3: The cow sees the tiger.[(((((((triple2) -> rule3)) -> rule7)) -> rule5))] @4: The tiger is nice.[(((((((((triple2) -> rule3)) -> rule7)) -> rule5)) -> rule1))] @5: The tiger sees the tiger.[(((((((((((triple2) -> rule3)) -> rule7)) -> rule5)) -> rule1)) -> rule5))]