The lion eats the rabbit. The lion is blue. The lion is cold. The lion visits the rabbit. The mouse does not eat the lion. The mouse is big. The mouse needs the lion. The mouse needs the rabbit. The mouse visits the lion. The rabbit eats the lion. The rabbit is not cold. The rabbit needs the lion. The rabbit needs the mouse. The rabbit visits the lion. The rabbit does not visit the mouse. If someone eats the rabbit and they need the lion then the lion eats the rabbit. If someone needs the lion and the lion visits the mouse then the mouse is blue. If someone needs the lion and the lion is cold then they are not blue. If someone is blue and big then they do not eat the mouse. If the mouse needs the lion and the mouse does not eat the lion then the lion needs the rabbit. If the lion is not big then the lion does not eat the mouse. If someone needs the rabbit then the rabbit needs the mouse. If someone needs the mouse and the mouse is not blue then the mouse visits the rabbit.
The rabbit is cold.
@0: The lion eats the rabbit.[(triple1)] The lion is blue.[(triple2)] The lion is cold.[(triple3)] The lion visits the rabbit.[(triple4)] The mouse does not eat the lion.[(triple5)] The mouse is big.[(triple6)] The mouse needs the lion.[(triple7)] The mouse needs the rabbit.[(triple8)] The mouse visits the lion.[(triple9)] The rabbit does not visit the mouse.[(triple15)] The rabbit eats the lion.[(triple10)] The rabbit is not cold.[(triple11)] The rabbit needs the lion.[(triple12)] The rabbit needs the mouse.[(triple13 OR ((triple8) -> rule7) OR ((((triple7 triple5) -> rule5)) -> rule7))] The rabbit visits the lion.[(triple14)] @1: The lion needs the rabbit.[(((triple7 triple5) -> rule5))] The mouse is not blue.[(((triple7 triple3) -> rule3))] The rabbit is not blue.[(((triple12 triple3) -> rule3))] @2: The mouse visits the rabbit.[(((triple13 ((triple7 triple3) -> rule3)) -> rule8) OR ((((triple8) -> rule7) ((triple7 triple3) -> rule3)) -> rule8) OR ((((((triple7 triple5) -> rule5)) -> rule7) ((triple7 triple3) -> rule3)) -> rule8))]