The bear is red. The bear needs the dog. The bear does not see the dog. The bear sees the mouse. The dog is big. The dog is red. The mouse likes the squirrel. The mouse sees the squirrel. The squirrel is round. The squirrel needs the dog. The squirrel sees the bear. The squirrel sees the dog. If something needs the dog then it likes the squirrel. All big things are nice. If the mouse needs the bear then the mouse is blue. If something is big and nice then it needs the dog. If something needs the mouse and the mouse needs the bear then the bear sees the mouse. If the dog does not like the squirrel then the dog does not need the squirrel.
The dog needs the dog.
@0: The bear does not see the dog.[(triple3)] The bear is red.[(triple1)] The bear needs the dog.[(triple2)] The bear sees the mouse.[(triple4)] The dog is big.[(triple5)] The dog is red.[(triple6)] The mouse likes the squirrel.[(triple7)] The mouse sees the squirrel.[(triple8)] The squirrel is round.[(triple9)] The squirrel needs the dog.[(triple10)] The squirrel sees the bear.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The bear likes the squirrel.[(((triple2) -> rule1))] The dog is nice.[(((triple5) -> rule2))] The squirrel likes the squirrel.[(((triple10) -> rule1))] @2: The dog needs the dog.[(((triple5 ((triple5) -> rule2)) -> rule4))] @3: The dog likes the squirrel.[(((((triple5 ((triple5) -> rule2)) -> rule4)) -> rule1))]