The lion is kind. The lion is rough. The lion likes the mouse. The lion needs the rabbit. The lion sees the mouse. The lion does not see the rabbit. The mouse is big. The mouse is not blue. The mouse likes the lion. The mouse needs the rabbit. The rabbit is rough. The rabbit sees the lion. If the rabbit is blue then the rabbit likes the mouse. If someone sees the lion then they are kind.
The rabbit is rough.
@0: The lion does not see the rabbit.[(triple6)] The lion is kind.[(triple1)] The lion is rough.[(triple2)] The lion likes the mouse.[(triple3)] The lion needs the rabbit.[(triple4)] The lion sees the mouse.[(triple5)] The mouse is big.[(triple7)] The mouse is not blue.[(triple8)] The mouse likes the lion.[(triple9)] The mouse needs the rabbit.[(triple10)] The rabbit is rough.[(triple11)] The rabbit sees the lion.[(triple12)] @1: The rabbit is kind.[(((triple12) -> rule2))]