The dog is not red. The dog sees the mouse. The mouse is blue. The mouse is red. The mouse likes the squirrel. The mouse needs the dog. The mouse sees the dog. The rabbit likes the dog. The rabbit likes the squirrel. The rabbit does not need the dog. The squirrel is red. The squirrel likes the mouse. The squirrel likes the rabbit. The squirrel needs the mouse. The squirrel needs the rabbit. If someone needs the squirrel then they see the rabbit. If someone likes the mouse then they are round. If someone sees the squirrel then they are rough. If someone sees the dog then they are not rough. If someone is round then they need the squirrel. If the rabbit needs the mouse and the mouse does not like the squirrel then the squirrel is red. If the dog is round then the dog likes the squirrel. If the dog is round and the dog sees the mouse then the mouse needs the squirrel.
The squirrel is not round.
@0: The dog is not red.[(triple1)] The dog sees the mouse.[(triple2)] The mouse is blue.[(triple3)] The mouse is red.[(triple4)] The mouse likes the squirrel.[(triple5)] The mouse needs the dog.[(triple6)] The mouse sees the dog.[(triple7)] The rabbit does not need the dog.[(triple10)] The rabbit likes the dog.[(triple8)] The rabbit likes the squirrel.[(triple9)] The squirrel is red.[(triple11)] The squirrel likes the mouse.[(triple12)] The squirrel likes the rabbit.[(triple13)] The squirrel needs the mouse.[(triple14)] The squirrel needs the rabbit.[(triple15)] @1: The mouse is not rough.[(((triple7) -> rule4))] The squirrel is round.[(((triple12) -> rule2))] @2: The squirrel needs the squirrel.[(((((triple12) -> rule2)) -> rule5))] @3: The squirrel sees the rabbit.[(((((((triple12) -> rule2)) -> rule5)) -> rule1))]