The bald eagle likes the rabbit. The lion is blue. The lion is rough. The lion is young. The lion likes the bald eagle. The lion needs the mouse. The lion needs the rabbit. The mouse is young. The mouse needs the rabbit. The rabbit is cold. The rabbit needs the mouse. The rabbit visits the lion. If something likes the rabbit then it visits the rabbit. If something is cold and it likes the rabbit then the rabbit visits the bald eagle. If something visits the rabbit and it visits the bald eagle then the bald eagle needs the lion. If the mouse needs the lion and the rabbit does not need the mouse then the mouse is not cold. If something visits the rabbit then it is rough. If something is cold and not blue then it visits the mouse.
The bald eagle visits the rabbit.
@0: The bald eagle likes the rabbit.[(triple1)] The lion is blue.[(triple2)] The lion is rough.[(triple3)] The lion is young.[(triple4)] The lion likes the bald eagle.[(triple5)] The lion needs the mouse.[(triple6)] The lion needs the rabbit.[(triple7)] The mouse is young.[(triple8)] The mouse needs the rabbit.[(triple9)] The rabbit is cold.[(triple10)] The rabbit needs the mouse.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The bald eagle visits the rabbit.[(((triple1) -> rule1))] @2: The bald eagle is rough.[(((((triple1) -> rule1)) -> rule5))]