The lion chases the mouse. The lion is cold. The lion is green. The lion is kind. The lion is nice. The lion is young. The lion needs the mouse. The lion sees the mouse. The mouse chases the lion. The mouse is cold. The mouse is green. The mouse is kind. The mouse is young. The mouse needs the lion. The mouse sees the lion. If the lion sees the mouse and the mouse sees the lion then the lion chases the mouse. If someone chases the lion and they need the mouse then the mouse sees the lion.
The lion needs the lion.
@0: The lion chases the mouse.[(triple1 OR ((triple8 triple15) -> rule1))] The lion is cold.[(triple2)] The lion is green.[(triple3)] The lion is kind.[(triple4)] The lion is nice.[(triple5)] The lion is young.[(triple6)] The lion needs the mouse.[(triple7)] The lion sees the mouse.[(triple8)] The mouse chases the lion.[(triple9)] The mouse is cold.[(triple10)] The mouse is green.[(triple11)] The mouse is kind.[(triple12)] The mouse is young.[(triple13)] The mouse needs the lion.[(triple14)] The mouse sees the lion.[(triple15)]