The cow eats the squirrel. The cow is blue. The cow is nice. The cow is red. The dog eats the cow. The mouse is big. The mouse is kind. The mouse is red. The mouse visits the dog. The squirrel chases the cow. The squirrel visits the cow. The squirrel visits the dog. If someone eats the cow then they visit the dog. If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse. If someone chases the squirrel then the squirrel chases the mouse. If someone visits the cow then the cow eats the dog. If someone is red and they eat the mouse then the mouse eats the cow. If the cow is big then the cow visits the dog. If someone visits the squirrel and they visit the dog then the dog eats the mouse. If the mouse visits the dog then the dog visits the squirrel. If someone eats the mouse then they chase the squirrel.
The dog does not visit the squirrel.
@0: The cow eats the squirrel.[(triple1)] The cow is blue.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The dog eats the cow.[(triple5)] The mouse is big.[(triple6)] The mouse is kind.[(triple7)] The mouse is red.[(triple8)] The mouse visits the dog.[(triple9)] The squirrel chases the cow.[(triple10)] The squirrel visits the cow.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The cow eats the dog.[(((triple11) -> rule4))] The dog visits the dog.[(((triple5) -> rule1))] The dog visits the squirrel.[(((triple9) -> rule8))] @2: The dog eats the mouse.[(((((triple9) -> rule8) ((triple5) -> rule1)) -> rule7))] @3: The dog chases the squirrel.[(((((((triple9) -> rule8) ((triple5) -> rule1)) -> rule7)) -> rule9))] @4: The squirrel chases the mouse.[(((((((((triple9) -> rule8) ((triple5) -> rule1)) -> rule7)) -> rule9)) -> rule3) OR ((((((((((triple9) -> rule8) ((triple5) -> rule1)) -> rule7) ((((((triple9) -> rule8) ((triple5) -> rule1)) -> rule7)) -> rule9)) -> rule2)) -> rule9)) -> rule3))] The squirrel eats the mouse.[(((((((triple9) -> rule8) ((triple5) -> rule1)) -> rule7) ((((((triple9) -> rule8) ((triple5) -> rule1)) -> rule7)) -> rule9)) -> rule2))] @5: The squirrel chases the squirrel.[(((((((((triple9) -> rule8) ((triple5) -> rule1)) -> rule7) ((((((triple9) -> rule8) ((triple5) -> rule1)) -> rule7)) -> rule9)) -> rule2)) -> rule9))]