The lion does not eat the mouse. The lion eats the tiger. The lion is cold. The lion is kind. The lion likes the tiger. The lion visits the mouse. The lion visits the tiger. The mouse is blue. The mouse likes the lion. The mouse does not like the tiger. The tiger is cold. The tiger is round. If something visits the tiger then the tiger is green. If the mouse visits the tiger then the tiger eats the lion. If the tiger likes the lion then the tiger is round. If the mouse does not like the lion then the mouse visits the tiger. Round things are green. If something is green and round then it visits the mouse. If something eats the lion and the lion eats the mouse then it is kind. If the tiger eats the mouse and the tiger does not visit the mouse then the tiger is cold.
The lion likes the tiger.
@0: The lion does not eat the mouse.[(triple1)] The lion eats the tiger.[(triple2)] The lion is cold.[(triple3)] The lion is kind.[(triple4)] The lion likes the tiger.[(triple5)] The lion visits the mouse.[(triple6)] The lion visits the tiger.[(triple7)] The mouse does not like the tiger.[(triple10)] The mouse is blue.[(triple8)] The mouse likes the lion.[(triple9)] The tiger is cold.[(triple11)] The tiger is round.[(triple12)] @1: The tiger is green.[(((triple12) -> rule5) OR ((triple7) -> rule1))] @2: The tiger visits the mouse.[(((((triple12) -> rule5) triple12) -> rule6) OR ((((triple7) -> rule1) triple12) -> rule6))]