The lion eats the rabbit. The lion is young. The lion likes the rabbit. The lion visits the mouse. The lion visits the rabbit. The mouse eats the lion. The mouse eats the rabbit. The mouse is green. The mouse likes the lion. The mouse likes the rabbit. The mouse visits the rabbit. The rabbit eats the mouse. The rabbit likes the lion. The rabbit likes the mouse. The rabbit visits the lion. The rabbit visits the mouse. If someone visits the rabbit then the rabbit likes the lion.
The rabbit is not cold.
@0: The lion eats the rabbit.[(triple1)] The lion is young.[(triple2)] The lion likes the rabbit.[(triple3)] The lion visits the mouse.[(triple4)] The lion visits the rabbit.[(triple5)] The mouse eats the lion.[(triple6)] The mouse eats the rabbit.[(triple7)] The mouse is green.[(triple8)] The mouse likes the lion.[(triple9)] The mouse likes the rabbit.[(triple10)] The mouse visits the rabbit.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit likes the lion.[(triple13 OR ((triple11) -> rule1) OR ((triple5) -> rule1))] The rabbit likes the mouse.[(triple14)] The rabbit visits the lion.[(triple15)] The rabbit visits the mouse.[(triple16)]