The bald eagle does not visit the cat. The cat needs the rabbit. The cat needs the tiger. The cat visits the rabbit. The rabbit needs the bald eagle. The rabbit visits the bald eagle. The tiger is kind. The tiger is red. The tiger does not like the bald eagle. The tiger visits the rabbit. If the rabbit needs the bald eagle then the rabbit needs the cat. If someone likes the rabbit and they do not like the tiger then the rabbit does not visit the bald eagle. If someone needs the tiger then the tiger does not need the bald eagle. If the cat likes the tiger then the cat visits the bald eagle. If someone needs the cat then the cat needs the bald eagle. If someone needs the bald eagle then they are big. If someone needs the rabbit and they do not like the tiger then they do not like the rabbit. If someone likes the bald eagle then the bald eagle is kind.
The cat visits the bald eagle.
@0: The bald eagle does not visit the cat.[(triple1)] The cat needs the rabbit.[(triple2)] The cat needs the tiger.[(triple3)] The cat visits the rabbit.[(triple4)] The rabbit needs the bald eagle.[(triple5)] The rabbit visits the bald eagle.[(triple6)] The tiger does not like the bald eagle.[(triple9)] The tiger is kind.[(triple7)] The tiger is red.[(triple8)] The tiger visits the rabbit.[(triple10)] @1: The rabbit is big.[(((triple5) -> rule6))] The rabbit needs the cat.[(((triple5) -> rule1))] The tiger does not need the bald eagle.[(((triple3) -> rule3))] @2: The cat needs the bald eagle.[(((((triple5) -> rule1)) -> rule5))] @3: The cat is big.[(((((((triple5) -> rule1)) -> rule5)) -> rule6))]