The bald eagle is nice. The bald eagle likes the lion. The bald eagle likes the squirrel. The bald eagle likes the tiger. The lion is nice. The lion is rough. The squirrel is rough. The squirrel likes the tiger. The squirrel visits the tiger. The tiger is blue. The tiger likes the squirrel. The tiger visits the lion. If something likes the bald eagle and it is big then it visits the squirrel. If something likes the bald eagle then the bald eagle visits the squirrel. If the lion eats the tiger then the lion visits the tiger. If something eats the squirrel then the squirrel is not big. If something is nice then it visits the lion. If the lion does not eat the tiger and the lion does not visit the tiger then the tiger visits the lion. If something visits the lion then it likes the lion. If something is big and it likes the squirrel then it does not like the lion.
The lion likes the bald eagle.
@0: The bald eagle is nice.[(triple1)] The bald eagle likes the lion.[(triple2 OR ((((triple1) -> rule5)) -> rule7))] The bald eagle likes the squirrel.[(triple3)] The bald eagle likes the tiger.[(triple4)] The lion is nice.[(triple5)] The lion is rough.[(triple6)] The squirrel is rough.[(triple7)] The squirrel likes the tiger.[(triple8)] The squirrel visits the tiger.[(triple9)] The tiger is blue.[(triple10)] The tiger likes the squirrel.[(triple11)] The tiger visits the lion.[(triple12)] @1: The bald eagle visits the lion.[(((triple1) -> rule5))] The lion visits the lion.[(((triple5) -> rule5))] The tiger likes the lion.[(((triple12) -> rule7))] @2: The lion likes the lion.[(((((triple5) -> rule5)) -> rule7))]