The bear is big. The bear visits the mouse. The bear visits the rabbit. The mouse eats the squirrel. The mouse sees the rabbit. The mouse sees the squirrel. The rabbit eats the mouse. The rabbit is big. The rabbit sees the squirrel. The rabbit visits the mouse. The squirrel eats the rabbit. The squirrel is big. The squirrel is rough. The squirrel sees the bear. The squirrel visits the rabbit. If someone visits the squirrel then they visit the mouse. If someone is green then they eat the rabbit. If someone visits the mouse and they eat the rabbit then they see the rabbit. All nice people are rough. If the rabbit eats the mouse then the rabbit is green. If someone is green then they see the bear.
The rabbit is not nice.
@0: The bear is big.[(triple1)] The bear visits the mouse.[(triple2)] The bear visits the rabbit.[(triple3)] The mouse eats the squirrel.[(triple4)] The mouse sees the rabbit.[(triple5)] The mouse sees the squirrel.[(triple6)] The rabbit eats the mouse.[(triple7)] The rabbit is big.[(triple8)] The rabbit sees the squirrel.[(triple9)] The rabbit visits the mouse.[(triple10)] The squirrel eats the rabbit.[(triple11)] The squirrel is big.[(triple12)] The squirrel is rough.[(triple13)] The squirrel sees the bear.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The rabbit is green.[(((triple7) -> rule5))] @2: The rabbit eats the rabbit.[(((((triple7) -> rule5)) -> rule2))] The rabbit sees the bear.[(((((triple7) -> rule5)) -> rule6))] @3: The rabbit sees the rabbit.[(((triple10 ((((triple7) -> rule5)) -> rule2)) -> rule3))]