The cat chases the cow. The cat visits the cow. The cat visits the squirrel. The cow chases the tiger. The cow is kind. The cow visits the squirrel. The cow visits the tiger. The squirrel chases the cow. The squirrel visits the tiger. The tiger is big. If something chases the cow and it sees the cat then it is big. If something is nice and it sees the tiger then it visits the squirrel. If something visits the cow and the cow sees the cat then the cow is big. If something chases the tiger then it chases the squirrel. If something is green then it chases the cow. If something is kind and it visits the cat then it sees the squirrel. If something is big then it chases the tiger. If something chases the squirrel then it sees the cow.
The tiger does not see the cow.
@0: The cat chases the cow.[(triple1)] The cat visits the cow.[(triple2)] The cat visits the squirrel.[(triple3)] The cow chases the tiger.[(triple4)] The cow is kind.[(triple5)] The cow visits the squirrel.[(triple6)] The cow visits the tiger.[(triple7)] The squirrel chases the cow.[(triple8)] The squirrel visits the tiger.[(triple9)] The tiger is big.[(triple10)] @1: The cow chases the squirrel.[(((triple4) -> rule4))] The tiger chases the tiger.[(((triple10) -> rule7))] @2: The cow sees the cow.[(((((triple4) -> rule4)) -> rule8))] The tiger chases the squirrel.[(((((triple10) -> rule7)) -> rule4))] @3: The tiger sees the cow.[(((((((triple10) -> rule7)) -> rule4)) -> rule8))]