The bald eagle likes the cat. The bald eagle likes the lion. The bald eagle visits the lion. The bald eagle visits the tiger. The cat visits the tiger. The lion is kind. The lion does not need the bald eagle. The lion needs the cat. The tiger is young. The tiger needs the lion. If something is green then it does not need the lion. If something needs the tiger then the tiger likes the bald eagle. If something likes the bald eagle then it needs the bald eagle. If something needs the bald eagle then the bald eagle is kind. If something visits the tiger then it is green. If something likes the cat and it needs the bald eagle then the cat does not visit the bald eagle. If something visits the bald eagle and it does not need the lion then the bald eagle likes the tiger. If the cat is green and the cat does not need the lion then the cat visits the lion.
The bald eagle does not like the cat.
@0: The bald eagle likes the cat.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle visits the lion.[(triple3)] The bald eagle visits the tiger.[(triple4)] The cat visits the tiger.[(triple5)] The lion does not need the bald eagle.[(triple7)] The lion is kind.[(triple6)] The lion needs the cat.[(triple8)] The tiger is young.[(triple9)] The tiger needs the lion.[(triple10)] @1: The bald eagle is green.[(((triple4) -> rule5))] The cat is green.[(((triple5) -> rule5))] @2: The bald eagle does not need the lion.[(((((triple4) -> rule5)) -> rule1))] The cat does not need the lion.[(((((triple5) -> rule5)) -> rule1))] @3: The cat visits the lion.[(((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule1)) -> rule8))]