The bear chases the rabbit. The mouse likes the squirrel. The rabbit is young. The squirrel likes the rabbit. If something likes the rabbit then it is big. If something likes the squirrel and the squirrel eats the rabbit then it is big. If something likes the mouse then it likes the rabbit. If something is young then it chases the mouse. If something chases the rabbit then it likes the mouse. If something chases the rabbit then the rabbit is big. If something chases the squirrel then the squirrel is rough. If something chases the bear then it eats the rabbit.
The squirrel does not like the rabbit.
@0: The bear chases the rabbit.[(triple1)] The mouse likes the squirrel.[(triple2)] The rabbit is young.[(triple3)] The squirrel likes the rabbit.[(triple4)] @1: The bear likes the mouse.[(((triple1) -> rule5))] The rabbit chases the mouse.[(((triple3) -> rule4))] The rabbit is big.[(((triple1) -> rule6))] The squirrel is big.[(((triple4) -> rule1))] @2: The bear likes the rabbit.[(((((triple1) -> rule5)) -> rule3))] @3: The bear is big.[(((((((triple1) -> rule5)) -> rule3)) -> rule1))]