The lion is blue. The lion is kind. The lion is red. The lion needs the mouse. The mouse is red. The mouse likes the lion. The mouse needs the tiger. The mouse sees the lion. The tiger is big. The tiger is blue. The tiger is round. The tiger likes the mouse. The tiger needs the lion. The tiger needs the mouse. The tiger sees the lion. The tiger sees the mouse. If something is red and it likes the mouse then it sees the tiger. If something needs the tiger then it needs the mouse. If something is big and it likes the tiger then it is blue. If something sees the tiger then the tiger is red. If something sees the mouse then the mouse sees the tiger. If something needs the mouse and the mouse is round then the mouse likes the lion.
The tiger does not see the tiger.
@0: The lion is blue.[(triple1)] The lion is kind.[(triple2)] The lion is red.[(triple3)] The lion needs the mouse.[(triple4)] The mouse is red.[(triple5)] The mouse likes the lion.[(triple6)] The mouse needs the tiger.[(triple7)] The mouse sees the lion.[(triple8)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is round.[(triple11)] The tiger likes the mouse.[(triple12)] The tiger needs the lion.[(triple13)] The tiger needs the mouse.[(triple14)] The tiger sees the lion.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The mouse needs the mouse.[(((triple7) -> rule2))] The mouse sees the tiger.[(((triple16) -> rule5))] @2: The tiger is red.[(((((triple16) -> rule5)) -> rule4))] @3: The tiger sees the tiger.[(((((((triple16) -> rule5)) -> rule4) triple12) -> rule1))]