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