The bear chases the mouse. The bear is big. The bear is green. The bear is round. The mouse is big. The mouse is green. The rabbit chases the squirrel. The rabbit is green. The rabbit sees the mouse. The squirrel chases the mouse. The squirrel chases the rabbit. The squirrel sees the rabbit. If something chases the squirrel then it is green. If something likes the rabbit then it is green. If the rabbit sees the bear and the rabbit sees the mouse then the rabbit is red. If something is green and red then it chases the squirrel. If something chases the squirrel and the squirrel sees the bear then the bear likes the squirrel. If something likes the bear then it sees the squirrel. If the rabbit is blue and the rabbit likes the squirrel then the rabbit chases the mouse. If the rabbit chases the bear then the rabbit likes the squirrel.
The rabbit does not chase the mouse.
@0: The bear chases the mouse.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is round.[(triple4)] The mouse is big.[(triple5)] The mouse is green.[(triple6)] The rabbit chases the squirrel.[(triple7)] The rabbit is green.[(triple8 OR ((triple7) -> rule1))] The rabbit sees the mouse.[(triple9)] The squirrel chases the mouse.[(triple10)] The squirrel chases the rabbit.[(triple11)] The squirrel sees the rabbit.[(triple12)]