The dog is nice. The dog is rough. The dog likes the mouse. The lion likes the dog. The lion likes the mouse. The lion needs the mouse. The lion visits the dog. The lion visits the mouse. The mouse is blue. The mouse is nice. The mouse needs the dog. The mouse needs the lion. If the lion visits the dog and the dog needs the lion then the dog is rough. If someone visits the dog and the dog likes the mouse then the dog visits the lion. If the mouse needs the dog and the mouse visits the dog then the mouse is blue. If someone visits the mouse and they need the dog then the dog likes the mouse. If the lion visits the dog then the dog is big. If someone likes the mouse and they like the lion then the lion likes the mouse.
The mouse is nice.
@0: The dog is nice.[(triple1)] The dog is rough.[(triple2)] The dog likes the mouse.[(triple3)] The lion likes the dog.[(triple4)] The lion likes the mouse.[(triple5)] The lion needs the mouse.[(triple6)] The lion visits the dog.[(triple7)] The lion visits the mouse.[(triple8)] The mouse is blue.[(triple9)] The mouse is nice.[(triple10)] The mouse needs the dog.[(triple11)] The mouse needs the lion.[(triple12)] @1: The dog is big.[(((triple7) -> rule5))] The dog visits the lion.[(((triple7 triple3) -> rule2))]