The cat chases the rabbit. The cat chases the squirrel. The cat is big. The cat is green. The cat likes the mouse. The cat likes the squirrel. The mouse chases the squirrel. The mouse eats the squirrel. The mouse is big. The mouse is kind. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit likes the mouse. The rabbit likes the squirrel. The squirrel likes the cat. If someone eats the squirrel then they are cold. If someone eats the mouse then they eat the squirrel. If someone likes the rabbit and the rabbit likes the cat then the cat chases the squirrel. If someone is cold and they eat the mouse then the mouse chases the rabbit. Kind people are rough. If the cat eats the mouse then the cat eats the rabbit.
The mouse likes the mouse.
@0: The cat chases the rabbit.[(triple1)] The cat chases the squirrel.[(triple2)] The cat is big.[(triple3)] The cat is green.[(triple4)] The cat likes the mouse.[(triple5)] The cat likes the squirrel.[(triple6)] The mouse chases the squirrel.[(triple7)] The mouse eats the squirrel.[(triple8)] The mouse is big.[(triple9)] The mouse is kind.[(triple10)] The rabbit chases the mouse.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit likes the mouse.[(triple13)] The rabbit likes the squirrel.[(triple14)] The squirrel likes the cat.[(triple15)] @1: The mouse is cold.[(((triple8) -> rule1))] The mouse is rough.[(((triple10) -> rule5))] The rabbit eats the squirrel.[(((triple12) -> rule2))] @2: The rabbit is cold.[(((((triple12) -> rule2)) -> rule1))] @3: The mouse chases the rabbit.[(((((((triple12) -> rule2)) -> rule1) triple12) -> rule4))]