The cat chases the rabbit. The cat is blue. The cat does not like the squirrel. The mouse chases the cat. The mouse chases the rabbit. The mouse chases the squirrel. The mouse eats the cat. The mouse is cold. The mouse does not like the cat. The rabbit does not chase the cat. The rabbit is round. The rabbit likes the cat. The rabbit likes the mouse. The squirrel is green. The squirrel does not like the rabbit. If the squirrel likes the cat and the squirrel is not round then the cat chases the mouse. If the rabbit eats the cat and the rabbit is blue then the cat does not eat the mouse. If someone eats the mouse and the mouse eats the cat then the cat eats the mouse. If someone is red then they eat the cat. If someone chases the rabbit and they are red then they are not blue. If someone likes the mouse then they are red. If someone likes the mouse and they eat the cat then they chase the mouse. If someone is green and not red then they chase the cat.
The rabbit eats the cat.
@0: The cat chases the rabbit.[(triple1)] The cat does not like the squirrel.[(triple3)] The cat is blue.[(triple2)] The mouse chases the cat.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse chases the squirrel.[(triple6)] The mouse does not like the cat.[(triple9)] The mouse eats the cat.[(triple7)] The mouse is cold.[(triple8)] The rabbit does not chase the cat.[(triple10)] The rabbit is round.[(triple11)] The rabbit likes the cat.[(triple12)] The rabbit likes the mouse.[(triple13)] The squirrel does not like the rabbit.[(triple15)] The squirrel is green.[(triple14)] @1: The rabbit is red.[(((triple13) -> rule6))] @2: The rabbit eats the cat.[(((((triple13) -> rule6)) -> rule4))] @3: The rabbit chases the mouse.[(((triple13 ((((triple13) -> rule6)) -> rule4)) -> rule7))]