The cow chases the squirrel. The cow eats the squirrel. The mouse chases the cow. The mouse eats the rabbit. The mouse needs the rabbit. The rabbit eats the squirrel. The rabbit is cold. The rabbit is red. The rabbit is rough. The rabbit needs the mouse. The squirrel chases the mouse. The squirrel eats the cow. If the squirrel is green then the squirrel chases the rabbit. If the cow needs the mouse and the cow is rough then the mouse is cold. If someone eats the cow and the cow chases the mouse then they chase the rabbit. If someone chases the squirrel and the squirrel chases the mouse then they are red. If someone eats the rabbit and the rabbit is green then the rabbit chases the mouse. If someone is red then they chase the mouse.
The squirrel is cold.
@0: The cow chases the squirrel.[(triple1)] The cow eats the squirrel.[(triple2)] The mouse chases the cow.[(triple3)] The mouse eats the rabbit.[(triple4)] The mouse needs the rabbit.[(triple5)] The rabbit eats the squirrel.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is red.[(triple8)] The rabbit is rough.[(triple9)] The rabbit needs the mouse.[(triple10)] The squirrel chases the mouse.[(triple11)] The squirrel eats the cow.[(triple12)] @1: The cow is red.[(((triple1 triple11) -> rule4))] The rabbit chases the mouse.[(((triple8) -> rule6))] @2: The cow chases the mouse.[(((((triple1 triple11) -> rule4)) -> rule6))] @3: The squirrel chases the rabbit.[(((triple12 ((((triple1 triple11) -> rule4)) -> rule6)) -> rule3))]