The lion eats the mouse. The lion is big. The lion is kind. The lion is red. The lion is rough. The lion is young. The lion likes the mouse. The lion sees the mouse. The mouse eats the lion. The mouse is big. The mouse is kind. The mouse is red. The mouse is rough. The mouse likes the lion. The mouse sees the lion. If the mouse likes the lion and the lion eats the mouse then the mouse sees the lion. If something is kind then it likes the lion.
The mouse does not see the mouse.
@0: The lion eats the mouse.[(triple1)] The lion is big.[(triple2)] The lion is kind.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)] The lion is young.[(triple6)] The lion likes the mouse.[(triple7)] The lion sees the mouse.[(triple8)] The mouse eats the lion.[(triple9)] The mouse is big.[(triple10)] The mouse is kind.[(triple11)] The mouse is red.[(triple12)] The mouse is rough.[(triple13)] The mouse likes the lion.[(triple14 OR ((triple11) -> rule2))] The mouse sees the lion.[(triple15 OR ((triple14 triple1) -> rule1) OR ((((triple11) -> rule2) triple1) -> rule1))] @1: The lion likes the lion.[(((triple3) -> rule2))]