The mouse does not chase the rabbit. The mouse is nice. The mouse sees the rabbit. The mouse sees the squirrel. The mouse visits the rabbit. The mouse visits the squirrel. The rabbit is big. The rabbit does not see the mouse. The rabbit does not see the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is nice. The squirrel is not rough. The squirrel sees the mouse. The squirrel visits the rabbit. If something visits the squirrel and it sees the rabbit then the squirrel is big. If something is rough and it does not chase the squirrel then the squirrel is nice. If the rabbit visits the squirrel then the rabbit does not see the mouse.
The mouse is not blue.
@0: The mouse does not chase the rabbit.[(triple1)] The mouse is nice.[(triple2)] The mouse sees the rabbit.[(triple3)] The mouse sees the squirrel.[(triple4)] The mouse visits the rabbit.[(triple5)] The mouse visits the squirrel.[(triple6)] The rabbit does not see the mouse.[(triple8 OR ((triple10) -> rule3))] The rabbit does not see the squirrel.[(triple9)] The rabbit is big.[(triple7)] The rabbit visits the squirrel.[(triple10)] The squirrel chases the rabbit.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is not rough.[(triple13)] The squirrel sees the mouse.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The squirrel is big.[(((triple6 triple3) -> rule1))]