The lion is young. The lion does not like the mouse. The lion likes the rabbit. The lion visits the mouse. The mouse does not eat the rabbit. The mouse is blue. The mouse is green. The mouse visits the lion. The mouse visits the rabbit. The rabbit eats the lion. The rabbit eats the mouse. The rabbit is cold. The rabbit is green. The rabbit is not nice. The rabbit visits the lion. The rabbit does not visit the mouse. If someone likes the rabbit and the rabbit visits the mouse then they are not green. If someone visits the mouse then the mouse visits the rabbit. If someone is cold then they like the mouse. If someone eats the mouse then the mouse likes the lion. If someone is nice then they like the lion. If someone likes the rabbit and the rabbit eats the lion then the rabbit is green.
The rabbit likes the lion.
@0: The lion does not like the mouse.[(triple2)] The lion is young.[(triple1)] The lion likes the rabbit.[(triple3)] The lion visits the mouse.[(triple4)] The mouse does not eat the rabbit.[(triple5)] The mouse is blue.[(triple6)] The mouse is green.[(triple7)] The mouse visits the lion.[(triple8)] The mouse visits the rabbit.[(triple9 OR ((triple4) -> rule2))] The rabbit does not visit the mouse.[(triple16)] The rabbit eats the lion.[(triple10)] The rabbit eats the mouse.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is green.[(triple13 OR ((triple3 triple10) -> rule6))] The rabbit is not nice.[(triple14)] The rabbit visits the lion.[(triple15)] @1: The mouse likes the lion.[(((triple11) -> rule4))] The rabbit likes the mouse.[(((triple12) -> rule3))]