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