The lion is red. The lion is young. The lion likes the mouse. The lion likes the tiger. The lion needs the mouse. The mouse is blue. The mouse likes the squirrel. The mouse needs the squirrel. The mouse needs the tiger. The squirrel eats the lion. The squirrel likes the lion. The squirrel likes the mouse. The squirrel needs the lion. The tiger eats the squirrel. The tiger is young. If something eats the lion and it needs the tiger then the lion is red. If something needs the mouse then the mouse needs the lion. If something is green then it needs the squirrel. If something is green and it likes the lion then the lion is young. If the mouse eats the squirrel and the squirrel likes the tiger then the mouse needs the lion. If the squirrel is green and the squirrel eats the lion then the lion is green. If something likes the mouse then it needs the mouse. If something likes the mouse and it needs the squirrel then the squirrel likes the lion.
The lion is red.
@0: The lion is red.[(triple1)] The lion is young.[(triple2)] The lion likes the mouse.[(triple3)] The lion likes the tiger.[(triple4)] The lion needs the mouse.[(triple5 OR ((triple3) -> rule7))] The mouse is blue.[(triple6)] The mouse likes the squirrel.[(triple7)] The mouse needs the squirrel.[(triple8)] The mouse needs the tiger.[(triple9)] The squirrel eats the lion.[(triple10)] The squirrel likes the lion.[(triple11)] The squirrel likes the mouse.[(triple12)] The squirrel needs the lion.[(triple13)] The tiger eats the squirrel.[(triple14)] The tiger is young.[(triple15)] @1: The mouse needs the lion.[(((triple5) -> rule2) OR ((((triple12) -> rule7)) -> rule2) OR ((((triple3) -> rule7)) -> rule2))] The squirrel needs the mouse.[(((triple12) -> rule7))]