The bald eagle likes the lion. The bald eagle needs the lion. The bald eagle does not need the tiger. The bald eagle visits the tiger. The lion is blue. The lion does not like the bald eagle. The lion likes the tiger. The lion visits the bald eagle. The tiger is nice. The tiger is red. The tiger does not like the lion. The tiger needs the lion. If someone needs the bald eagle and the bald eagle does not visit the tiger then the tiger visits the bald eagle. If the tiger visits the bald eagle and the bald eagle likes the lion then the bald eagle is red. If someone likes the tiger and they do not like the lion then the tiger needs the lion. If someone is red then they visit the bald eagle. If someone likes the tiger then they need the lion. If someone needs the bald eagle and they are not red then they do not need the lion.
The bald eagle does not visit the bald eagle.
@0: The bald eagle does not need the tiger.[(triple3)] The bald eagle likes the lion.[(triple1)] The bald eagle needs the lion.[(triple2)] The bald eagle visits the tiger.[(triple4)] The lion does not like the bald eagle.[(triple6)] The lion is blue.[(triple5)] The lion likes the tiger.[(triple7)] The lion visits the bald eagle.[(triple8)] The tiger does not like the lion.[(triple11)] The tiger is nice.[(triple9)] The tiger is red.[(triple10)] The tiger needs the lion.[(triple12)] @1: The lion needs the lion.[(((triple7) -> rule5))] The tiger visits the bald eagle.[(((triple10) -> rule4))] @2: The bald eagle is red.[(((((triple10) -> rule4) triple1) -> rule2))] @3: The bald eagle visits the bald eagle.[(((((((triple10) -> rule4) triple1) -> rule2)) -> rule4))]