The bear is blue. The bear is nice. The bear needs the mouse. The bear sees the dog. The dog chases the bear. The dog chases the mouse. The dog is blue. The dog is not red. The dog needs the bear. The dog does not need the mouse. The dog sees the bear. The dog sees the mouse. The mouse does not chase the dog. The mouse is round. The mouse is young. The mouse needs the dog. If something sees the dog and the dog chases the bear then the dog sees the mouse. If the bear chases the dog and the dog needs the bear then the dog is red. If something is round and not young then it needs the bear. If something is red then it sees the dog. If the dog needs the mouse and the dog does not chase the bear then the mouse does not see the bear. If the bear sees the dog then the bear sees the mouse.
The dog needs the mouse.
@0: The bear is blue.[(triple1)] The bear is nice.[(triple2)] The bear needs the mouse.[(triple3)] The bear sees the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog chases the mouse.[(triple6)] The dog does not need the mouse.[(triple10)] The dog is blue.[(triple7)] The dog is not red.[(triple8)] The dog needs the bear.[(triple9)] The dog sees the bear.[(triple11)] The dog sees the mouse.[(triple12 OR ((triple4 triple5) -> rule1))] The mouse does not chase the dog.[(triple13)] The mouse is round.[(triple14)] The mouse is young.[(triple15)] The mouse needs the dog.[(triple16)] @1: The bear sees the mouse.[(((triple4) -> rule6))]