The lion is blue. The lion is kind. The lion is nice. The lion needs the mouse. The mouse eats the lion. The mouse is blue. The mouse is green. The mouse is kind. The mouse is nice. The mouse is red. The mouse needs the lion. The mouse visits the lion. If someone needs the lion and they eat the lion then they are nice. If the mouse eats the lion then the lion needs the mouse. If someone visits the mouse and the mouse needs the lion then the lion is red. If someone visits the mouse and they eat the mouse then they visit the lion. Red people are kind. If the lion is nice then the lion eats the mouse. If the lion eats the mouse then the lion visits the mouse. If someone eats the mouse then the mouse needs the lion.
The lion eats the lion.
@0: The lion is blue.[(triple1)] The lion is kind.[(triple2 OR ((((((((triple3) -> rule6)) -> rule7) triple11) -> rule3)) -> rule5) OR ((((((((triple3) -> rule6)) -> rule7) ((((triple3) -> rule6)) -> rule8)) -> rule3)) -> rule5))] The lion is nice.[(triple3)] The lion needs the mouse.[(triple4 OR ((triple5) -> rule2))] The mouse eats the lion.[(triple5)] The mouse is blue.[(triple6)] The mouse is green.[(triple7)] The mouse is kind.[(triple8 OR ((triple10) -> rule5))] The mouse is nice.[(triple9 OR ((triple11 triple5) -> rule1) OR ((((((triple3) -> rule6)) -> rule8) triple5) -> rule1))] The mouse is red.[(triple10)] The mouse needs the lion.[(triple11 OR ((((triple3) -> rule6)) -> rule8))] The mouse visits the lion.[(triple12)] @1: The lion eats the mouse.[(((triple3) -> rule6))] @2: The lion visits the mouse.[(((((triple3) -> rule6)) -> rule7))] @3: The lion is red.[(((((((triple3) -> rule6)) -> rule7) triple11) -> rule3) OR ((((((triple3) -> rule6)) -> rule7) ((((triple3) -> rule6)) -> rule8)) -> rule3))] The lion visits the lion.[(((((((triple3) -> rule6)) -> rule7) ((triple3) -> rule6)) -> rule4))]