The cow eats the tiger. The cow is red. The cow likes the tiger. The rabbit is rough. The squirrel is cold. The tiger is blue. The tiger likes the rabbit. If the rabbit chases the cow and the rabbit is not green then the rabbit is blue. If someone is red then they chase the squirrel. If the tiger is red and the tiger does not like the cow then the tiger is cold. If the rabbit eats the squirrel then the rabbit does not chase the cow. If someone chases the squirrel then the squirrel chases the tiger. If someone is red and they do not eat the rabbit then they like the rabbit. If someone chases the tiger then the tiger chases the cow. If the tiger is not green then the tiger does not like the squirrel.
The squirrel chases the tiger.
@0: The cow eats the tiger.[(triple1)] The cow is red.[(triple2)] The cow likes the tiger.[(triple3)] The rabbit is rough.[(triple4)] The squirrel is cold.[(triple5)] The tiger is blue.[(triple6)] The tiger likes the rabbit.[(triple7)] @1: The cow chases the squirrel.[(((triple2) -> rule2))] @2: The squirrel chases the tiger.[(((((triple2) -> rule2)) -> rule5))] @3: The tiger chases the cow.[(((((((triple2) -> rule2)) -> rule5)) -> rule7))]