The dog chases the lion. The dog is nice. The dog likes the lion. The dog likes the mouse. The dog visits the lion. The lion chases the squirrel. The lion is red. The lion visits the dog. The lion visits the mouse. The mouse chases the lion. The mouse chases the squirrel. The mouse is nice. The mouse is rough. The mouse visits the dog. The mouse does not visit the lion. The squirrel visits the mouse. If someone visits the squirrel and the squirrel is young then they do not like the lion. If someone likes the mouse and the mouse is red then the mouse chases the squirrel. If someone chases the squirrel and the squirrel chases the dog then the dog is rough. If someone visits the dog then they like the squirrel. If someone chases the dog then the dog is kind. If someone chases the mouse then the mouse chases the dog. If someone visits the lion then the lion likes the mouse. If someone is young and not rough then they do not like the dog.
The mouse is not rough.
@0: The dog chases the lion.[(triple1)] The dog is nice.[(triple2)] The dog likes the lion.[(triple3)] The dog likes the mouse.[(triple4)] The dog visits the lion.[(triple5)] The lion chases the squirrel.[(triple6)] The lion is red.[(triple7)] The lion visits the dog.[(triple8)] The lion visits the mouse.[(triple9)] The mouse chases the lion.[(triple10)] The mouse chases the squirrel.[(triple11)] The mouse does not visit the lion.[(triple15)] The mouse is nice.[(triple12)] The mouse is rough.[(triple13)] The mouse visits the dog.[(triple14)] The squirrel visits the mouse.[(triple16)] @1: The lion likes the mouse.[(((triple5) -> rule7))] The lion likes the squirrel.[(((triple8) -> rule4))] The mouse likes the squirrel.[(((triple14) -> rule4))]