The cat is nice. The cat is rough. The cat likes the mouse. The cat visits the mouse. The dog is round. The dog likes the mouse. The dog visits the mouse. The mouse is nice. The mouse is rough. The mouse likes the squirrel. The squirrel is kind. The squirrel likes the mouse. The squirrel needs the dog. The squirrel needs the mouse. The squirrel visits the cat. If the dog visits the mouse and the mouse is rough then the mouse is kind. If someone visits the cat and the cat visits the dog then the dog visits the mouse. If the mouse needs the dog then the mouse visits the cat. If someone visits the squirrel then they need the mouse. If someone is red and they need the mouse then they visit the squirrel. If someone likes the dog and they visit the cat then they visit the mouse.
The dog needs the dog.
@0: The cat is nice.[(triple1)] The cat is rough.[(triple2)] The cat likes the mouse.[(triple3)] The cat visits the mouse.[(triple4)] The dog is round.[(triple5)] The dog likes the mouse.[(triple6)] The dog visits the mouse.[(triple7)] The mouse is nice.[(triple8)] The mouse is rough.[(triple9)] The mouse likes the squirrel.[(triple10)] The squirrel is kind.[(triple11)] The squirrel likes the mouse.[(triple12)] The squirrel needs the dog.[(triple13)] The squirrel needs the mouse.[(triple14)] The squirrel visits the cat.[(triple15)] @1: The mouse is kind.[(((triple7 triple9) -> rule1))]