The cow chases the mouse. The cow eats the mouse. The cow eats the squirrel. The cow likes the mouse. The cow likes the squirrel. The dog eats the squirrel. The dog likes the cow. The dog likes the mouse. The dog likes the squirrel. The mouse chases the squirrel. The mouse eats the squirrel. The squirrel chases the dog. The squirrel eats the mouse. The squirrel is red. The squirrel is young. The squirrel likes the mouse. If someone is nice and they eat the mouse then the mouse likes the dog. If the squirrel chases the mouse then the mouse chases the dog. If someone eats the dog then the dog is nice. If someone likes the dog then they are nice. If someone likes the mouse and they eat the squirrel then the squirrel is round. If someone likes the cow then they are red. If someone likes the dog then the dog eats the mouse. If someone is nice and they chase the cow then they eat the dog.
The mouse is not red.
@0: The cow chases the mouse.[(triple1)] The cow eats the mouse.[(triple2)] The cow eats the squirrel.[(triple3)] The cow likes the mouse.[(triple4)] The cow likes the squirrel.[(triple5)] The dog eats the squirrel.[(triple6)] The dog likes the cow.[(triple7)] The dog likes the mouse.[(triple8)] The dog likes the squirrel.[(triple9)] The mouse chases the squirrel.[(triple10)] The mouse eats the squirrel.[(triple11)] The squirrel chases the dog.[(triple12)] The squirrel eats the mouse.[(triple13)] The squirrel is red.[(triple14)] The squirrel is young.[(triple15)] The squirrel likes the mouse.[(triple16)] @1: The dog is red.[(((triple7) -> rule6))] The squirrel is round.[(((triple4 triple3) -> rule5) OR ((triple8 triple6) -> rule5))]