The bald eagle is young. The bald eagle likes the rabbit. The cat eats the bald eagle. The cat eats the dog. The cat likes the bald eagle. The cat likes the dog. The cat visits the bald eagle. The dog eats the cat. The dog eats the rabbit. The dog is big. The dog is nice. The dog likes the cat. The dog visits the bald eagle. The rabbit likes the cat. The rabbit visits the dog. If someone eats the rabbit then the rabbit eats the bald eagle. If someone visits the bald eagle then they eat the rabbit. If someone eats the cat then they eat the bald eagle. If the rabbit is red and the rabbit likes the bald eagle then the bald eagle likes the dog. If someone visits the dog then they like the bald eagle. If someone likes the rabbit and they are rough then they like the dog. If someone likes the cat and they eat the bald eagle then they visit the bald eagle. If someone is big and they visit the rabbit then the rabbit is rough.
The rabbit visits the bald eagle.
@0: The bald eagle is young.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat eats the dog.[(triple4)] The cat likes the bald eagle.[(triple5)] The cat likes the dog.[(triple6)] The cat visits the bald eagle.[(triple7)] The dog eats the cat.[(triple8)] The dog eats the rabbit.[(triple9 OR ((triple13) -> rule2) OR ((((triple12 ((triple8) -> rule3)) -> rule7)) -> rule2))] The dog is big.[(triple10)] The dog is nice.[(triple11)] The dog likes the cat.[(triple12)] The dog visits the bald eagle.[(triple13 OR ((triple12 ((triple8) -> rule3)) -> rule7))] The rabbit likes the cat.[(triple14)] The rabbit visits the dog.[(triple15)] @1: The cat eats the rabbit.[(((triple7) -> rule2))] The dog eats the bald eagle.[(((triple8) -> rule3))] The rabbit eats the bald eagle.[(((triple9) -> rule1) OR ((((triple13) -> rule2)) -> rule1) OR ((((triple7) -> rule2)) -> rule1) OR ((((((triple12 ((triple8) -> rule3)) -> rule7)) -> rule2)) -> rule1))] The rabbit likes the bald eagle.[(((triple15) -> rule5))] @2: The rabbit visits the bald eagle.[(((triple14 ((triple9) -> rule1)) -> rule7) OR ((triple14 ((((triple13) -> rule2)) -> rule1)) -> rule7) OR ((triple14 ((((triple7) -> rule2)) -> rule1)) -> rule7) OR ((triple14 ((((((triple12 ((triple8) -> rule3)) -> rule7)) -> rule2)) -> rule1)) -> rule7))] @3: The rabbit eats the rabbit.[(((((triple14 ((triple9) -> rule1)) -> rule7)) -> rule2) OR ((((triple14 ((((triple13) -> rule2)) -> rule1)) -> rule7)) -> rule2) OR ((((triple14 ((((triple7) -> rule2)) -> rule1)) -> rule7)) -> rule2) OR ((((triple14 ((((((triple12 ((triple8) -> rule3)) -> rule7)) -> rule2)) -> rule1)) -> rule7)) -> rule2))]