The lion is not cold. The lion is green. The lion needs the tiger. The lion sees the mouse. The lion sees the rabbit. The lion does not visit the rabbit. The mouse is red. The mouse needs the rabbit. The mouse needs the tiger. The mouse sees the lion. The mouse sees the tiger. The rabbit visits the lion. The tiger is green. The tiger is not kind. The tiger does not need the mouse. If someone sees the rabbit and the rabbit is not red then they need the mouse. If someone sees the lion then the lion sees the mouse. If someone sees the rabbit then the rabbit is rough. If the mouse visits the lion and the lion visits the mouse then the mouse needs the lion. If the mouse does not see the lion then the mouse sees the tiger. If someone needs the lion and they do not see the mouse then the mouse does not visit the tiger.
The lion is cold.
@0: The lion does not visit the rabbit.[(triple6)] The lion is green.[(triple2)] The lion is not cold.[(triple1)] The lion needs the tiger.[(triple3)] The lion sees the mouse.[(triple4 OR ((triple10) -> rule2))] The lion sees the rabbit.[(triple5)] The mouse is red.[(triple7)] The mouse needs the rabbit.[(triple8)] The mouse needs the tiger.[(triple9)] The mouse sees the lion.[(triple10)] The mouse sees the tiger.[(triple11)] The rabbit visits the lion.[(triple12)] The tiger does not need the mouse.[(triple15)] The tiger is green.[(triple13)] The tiger is not kind.[(triple14)] @1: The rabbit is rough.[(((triple5) -> rule3))]