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