The lion does not eat the mouse. The lion is big. The lion is cold. The lion is kind. The lion is not nice. The lion is red. The lion needs the mouse. The lion sees the mouse. The mouse does not eat the lion. The mouse is big. The mouse is not cold. The mouse is kind. The mouse is nice. The mouse needs the lion. The mouse does not see the lion. If the mouse sees the lion then the lion is red. If someone is cold then they do not eat the lion.
The mouse needs the lion.
@0: The lion does not eat the mouse.[(triple1)] The lion is big.[(triple2)] The lion is cold.[(triple3)] The lion is kind.[(triple4)] The lion is not nice.[(triple5)] The lion is red.[(triple6)] The lion needs the mouse.[(triple7)] The lion sees the mouse.[(triple8)] The mouse does not eat the lion.[(triple9)] The mouse does not see the lion.[(triple15)] The mouse is big.[(triple10)] The mouse is kind.[(triple12)] The mouse is nice.[(triple13)] The mouse is not cold.[(triple11)] The mouse needs the lion.[(triple14)] @1: The lion does not eat the lion.[(((triple3) -> rule2))]