The bear visits the mouse. The dog is big. The dog is nice. The dog is red. The dog likes the bear. The dog likes the mouse. The dog sees the bear. The dog sees the mouse. The dog visits the bear. The dog visits the mouse. The mouse likes the dog. The mouse sees the bear. If something is red and it does not see the dog then the dog likes the mouse. If something sees the dog then the dog likes the mouse. If the bear is green then the bear is nice. If the bear is nice and the bear does not like the dog then the bear visits the dog. If something likes the bear and it is not red then it does not see the mouse. If the dog visits the mouse then the mouse is big.
The dog does not see the mouse.
@0: The bear visits the mouse.[(triple1)] The dog is big.[(triple2)] The dog is nice.[(triple3)] The dog is red.[(triple4)] The dog likes the bear.[(triple5)] The dog likes the mouse.[(triple6)] The dog sees the bear.[(triple7)] The dog sees the mouse.[(triple8)] The dog visits the bear.[(triple9)] The dog visits the mouse.[(triple10)] The mouse likes the dog.[(triple11)] The mouse sees the bear.[(triple12)] @1: The mouse is big.[(((triple10) -> rule6))]