The dog sees the squirrel. The dog visits the tiger. The mouse is green. The mouse sees the dog. The mouse visits the dog. The squirrel is kind. The squirrel is not rough. The squirrel sees the dog. The squirrel visits the mouse. The tiger is nice. The tiger is not round. The tiger does not like the squirrel. The tiger does not see the mouse. The tiger does not visit the dog. The tiger visits the mouse. If the squirrel likes the dog then the squirrel sees the dog. If someone sees the squirrel then they see the dog. If someone visits the mouse and they are green then they see the dog. If the dog sees the mouse and the mouse does not like the dog then the mouse does not see the dog. If someone is nice then they visit the squirrel. If someone visits the tiger then they visit the squirrel. If someone likes the tiger and the tiger visits the mouse then the mouse sees the squirrel. If someone visits the squirrel and they are green then the squirrel is rough.
The tiger is nice.
@0: The dog sees the squirrel.[(triple1)] The dog visits the tiger.[(triple2)] The mouse is green.[(triple3)] The mouse sees the dog.[(triple4)] The mouse visits the dog.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is not rough.[(triple7)] The squirrel sees the dog.[(triple8)] The squirrel visits the mouse.[(triple9)] The tiger does not like the squirrel.[(triple12)] The tiger does not see the mouse.[(triple13)] The tiger does not visit the dog.[(triple14)] The tiger is nice.[(triple10)] The tiger is not round.[(triple11)] The tiger visits the mouse.[(triple15)] @1: The dog sees the dog.[(((triple1) -> rule2))] The dog visits the squirrel.[(((triple2) -> rule6))] The tiger visits the squirrel.[(((triple10) -> rule5))]