The lion is blue. The lion needs the mouse. The lion sees the squirrel. The mouse eats the tiger. The mouse is rough. The mouse needs the lion. The mouse needs the squirrel. The mouse does not see the tiger. The squirrel needs the mouse. The squirrel needs the tiger. The tiger does not eat the mouse. The tiger is nice. If the squirrel needs the tiger and the tiger eats the lion then the lion is nice. If something is cold then it eats the mouse. If something sees the squirrel and it sees the tiger then the tiger sees the squirrel. If something is cold then it is rough. If something eats the lion then it is rough. If something is nice then it eats the lion. If the lion needs the squirrel and the lion eats the tiger then the lion is green. If the lion is rough then the lion does not eat the mouse. If something eats the lion then the lion eats the tiger.
The lion eats the mouse.
@0: The lion is blue.[(triple1)] The lion needs the mouse.[(triple2)] The lion sees the squirrel.[(triple3)] The mouse does not see the tiger.[(triple8)] The mouse eats the tiger.[(triple4)] The mouse is rough.[(triple5)] The mouse needs the lion.[(triple6)] The mouse needs the squirrel.[(triple7)] The squirrel needs the mouse.[(triple9)] The squirrel needs the tiger.[(triple10)] The tiger does not eat the mouse.[(triple11)] The tiger is nice.[(triple12)] @1: The tiger eats the lion.[(((triple12) -> rule6))] @2: The lion eats the tiger.[(((((triple12) -> rule6)) -> rule9) OR ((((((triple10 ((triple12) -> rule6)) -> rule1)) -> rule6)) -> rule9))] The lion is nice.[(((triple10 ((triple12) -> rule6)) -> rule1))] The tiger is rough.[(((((triple12) -> rule6)) -> rule5))] @3: The lion eats the lion.[(((((triple10 ((triple12) -> rule6)) -> rule1)) -> rule6))] @4: The lion is rough.[(((((((triple10 ((triple12) -> rule6)) -> rule1)) -> rule6)) -> rule5))] @5: The lion does not eat the mouse.[(((((((((triple10 ((triple12) -> rule6)) -> rule1)) -> rule6)) -> rule5)) -> rule8))]