The lion is big. The lion is green. The lion is not kind. The lion is round. The lion is young. The lion likes the mouse. The lion needs the mouse. The lion sees the mouse. The mouse is big. The mouse is green. The mouse is not kind. The mouse is round. The mouse is not young. The mouse likes the lion. The mouse needs the lion. The mouse sees the lion. If the lion sees the mouse and the mouse does not need the lion then the lion needs the mouse. If something is big and it does not see the lion then the lion sees the mouse. If something sees the mouse then the mouse likes the lion.
The lion sees the lion.
@0: The lion is big.[(triple1)] The lion is green.[(triple2)] The lion is not kind.[(triple3)] The lion is round.[(triple4)] The lion is young.[(triple5)] The lion likes the mouse.[(triple6)] The lion needs the mouse.[(triple7)] The lion sees the mouse.[(triple8)] The mouse is big.[(triple9)] The mouse is green.[(triple10)] The mouse is not kind.[(triple11)] The mouse is not young.[(triple13)] The mouse is round.[(triple12)] The mouse likes the lion.[(triple14 OR ((triple8) -> rule3))] The mouse needs the lion.[(triple15)] The mouse sees the lion.[(triple16)]