The lion eats the mouse. The lion eats the tiger. The lion is blue. The lion is green. The lion likes the mouse. The lion likes the tiger. The mouse eats the lion. The mouse is big. The mouse is green. The mouse likes the lion. The mouse needs the tiger. The tiger eats the lion. The tiger eats the mouse. The tiger is round. The tiger needs the lion. The tiger needs the mouse. If someone needs the tiger and the tiger needs the mouse then they are blue. If someone needs the lion then they need the tiger. If someone is big then they need the mouse.
The lion does not like the lion.
@0: The lion eats the mouse.[(triple1)] The lion eats the tiger.[(triple2)] The lion is blue.[(triple3)] The lion is green.[(triple4)] The lion likes the mouse.[(triple5)] The lion likes the tiger.[(triple6)] The mouse eats the lion.[(triple7)] The mouse is big.[(triple8)] The mouse is green.[(triple9)] The mouse likes the lion.[(triple10)] The mouse needs the tiger.[(triple11)] The tiger eats the lion.[(triple12)] The tiger eats the mouse.[(triple13)] The tiger is round.[(triple14)] The tiger needs the lion.[(triple15)] The tiger needs the mouse.[(triple16)] @1: The mouse is blue.[(((triple11 triple16) -> rule1))] The mouse needs the mouse.[(((triple8) -> rule3))] The tiger needs the tiger.[(((triple15) -> rule2))] @2: The tiger is blue.[(((((triple15) -> rule2) triple16) -> rule1))]