The bear is not big. The cat chases the mouse. The mouse eats the bear. The squirrel is young. If someone chases the squirrel and they are big then they eat the mouse. If someone chases the mouse then they are young. If someone chases the mouse then the mouse is big. If someone eats the cat and they are big then the cat chases the mouse. If the squirrel eats the bear and the bear eats the mouse then the mouse is rough. If someone is young and not big then they are red. If someone is red then they visit the cat. If someone is round and they do not eat the mouse then the mouse is young.
The squirrel is not young.
@0: The bear is not big.[(triple1)] The cat chases the mouse.[(triple2)] The mouse eats the bear.[(triple3)] The squirrel is young.[(triple4)] @1: The cat is young.[(((triple2) -> rule2))] The mouse is big.[(((triple2) -> rule3))]