The cow likes the tiger. The mouse chases the cow. The mouse eats the cow. The mouse eats the tiger. The mouse likes the tiger. The squirrel chases the cow. The squirrel eats the mouse. The squirrel is kind. The tiger is kind. The tiger is round. The tiger likes the cow. The tiger likes the squirrel. If someone eats the squirrel then the squirrel does not like the tiger. If someone likes the cow then they are nice. If the cow likes the tiger and the tiger is round then the cow eats the squirrel. If someone chases the mouse then the mouse is not blue. If someone is kind and they do not eat the mouse then the mouse likes the cow. If someone eats the mouse and they do not like the tiger then they are blue.
The squirrel likes the tiger.
@0: The cow likes the tiger.[(triple1)] The mouse chases the cow.[(triple2)] The mouse eats the cow.[(triple3)] The mouse eats the tiger.[(triple4)] The mouse likes the tiger.[(triple5)] The squirrel chases the cow.[(triple6)] The squirrel eats the mouse.[(triple7)] The squirrel is kind.[(triple8)] The tiger is kind.[(triple9)] The tiger is round.[(triple10)] The tiger likes the cow.[(triple11)] The tiger likes the squirrel.[(triple12)] @1: The cow eats the squirrel.[(((triple1 triple10) -> rule3))] The tiger is nice.[(((triple11) -> rule2))] @2: The squirrel does not like the tiger.[(((((triple1 triple10) -> rule3)) -> rule1))] @3: The squirrel is blue.[(((triple7 ((((triple1 triple10) -> rule3)) -> rule1)) -> rule6))]