The cow is not big. The cow is not green. The lion eats the tiger. The lion sees the cow. The lion visits the cow. The lion does not visit the squirrel. The lion visits the tiger. The squirrel is big. The squirrel is round. The tiger is not green. The tiger does not see the cow. If something sees the squirrel and the squirrel eats the cow then the cow is round. If something is green then it eats the tiger. If the squirrel is round then the squirrel visits the cow. If something eats the cow then it sees the squirrel. If something sees the tiger and the tiger visits the squirrel then it is nice. If something is round then it eats the cow. If something is kind then it eats the cow. If the tiger visits the cow then the cow sees the squirrel. If something sees the cow then the cow eats the tiger.
The squirrel visits the cow.
@0: The cow is not big.[(triple1)] The cow is not green.[(triple2)] The lion does not visit the squirrel.[(triple6)] The lion eats the tiger.[(triple3)] The lion sees the cow.[(triple4)] The lion visits the cow.[(triple5)] The lion visits the tiger.[(triple7)] The squirrel is big.[(triple8)] The squirrel is round.[(triple9)] The tiger does not see the cow.[(triple11)] The tiger is not green.[(triple10)] @1: The cow eats the tiger.[(((triple4) -> rule9))] The squirrel eats the cow.[(((triple9) -> rule6))] The squirrel visits the cow.[(((triple9) -> rule3))] @2: The squirrel sees the squirrel.[(((((triple9) -> rule6)) -> rule4))] @3: The cow is round.[(((((((triple9) -> rule6)) -> rule4) ((triple9) -> rule6)) -> rule1))] @4: The cow eats the cow.[(((((((((triple9) -> rule6)) -> rule4) ((triple9) -> rule6)) -> rule1)) -> rule6))] @5: The cow sees the squirrel.[(((((((((((triple9) -> rule6)) -> rule4) ((triple9) -> rule6)) -> rule1)) -> rule6)) -> rule4))]