The lion is blue. The lion does not visit the mouse. The mouse is cold. The mouse is nice. The mouse likes the lion. The mouse sees the rabbit. The mouse sees the tiger. The mouse visits the lion. The mouse visits the tiger. The rabbit likes the tiger. The rabbit sees the mouse. The tiger sees the mouse. If someone visits the tiger then the tiger does not see the lion. If someone visits the tiger and the tiger likes the lion then they see the lion. If someone is cold and they like the rabbit then the rabbit is blue.
The tiger does not see the lion.
@0: The lion does not visit the mouse.[(triple2)] The lion is blue.[(triple1)] The mouse is cold.[(triple3)] The mouse is nice.[(triple4)] The mouse likes the lion.[(triple5)] The mouse sees the rabbit.[(triple6)] The mouse sees the tiger.[(triple7)] The mouse visits the lion.[(triple8)] The mouse visits the tiger.[(triple9)] The rabbit likes the tiger.[(triple10)] The rabbit sees the mouse.[(triple11)] The tiger sees the mouse.[(triple12)] @1: The tiger does not see the lion.[(((triple9) -> rule1))]