The bald eagle eats the cat. The cat is kind. The cow is round. The rabbit eats the bald eagle. The rabbit eats the cow. The rabbit is kind. The rabbit visits the bald eagle. If something needs the rabbit and the rabbit is round then it is green. If something is cold then it needs the rabbit. If something needs the cow then it visits the cow. If something is kind and it needs the bald eagle then it is round. If something eats the cat then the cat needs the cow. If something needs the cow and the cow visits the bald eagle then the bald eagle is green. If something needs the cat then the cat needs the rabbit. If something visits the cow then the cow eats the rabbit.
The bald eagle needs the rabbit.
@0: The bald eagle eats the cat.[(triple1)] The cat is kind.[(triple2)] The cow is round.[(triple3)] The rabbit eats the bald eagle.[(triple4)] The rabbit eats the cow.[(triple5)] The rabbit is kind.[(triple6)] The rabbit visits the bald eagle.[(triple7)] @1: The cat needs the cow.[(((triple1) -> rule5))] @2: The cat visits the cow.[(((((triple1) -> rule5)) -> rule3))] @3: The cow eats the rabbit.[(((((((triple1) -> rule5)) -> rule3)) -> rule8))]