The bald eagle chases the bear. The bald eagle eats the rabbit. The bear does not eat the bald eagle. The bear eats the rabbit. The bear is big. The bear is green. The bear is nice. The bear does not visit the cat. The cat chases the bald eagle. The cat is green. The cat visits the bald eagle. The cat visits the rabbit. The rabbit eats the cat. The rabbit is not kind. The rabbit visits the cat. If something visits the bald eagle and it eats the rabbit then the rabbit does not eat the cat. If something visits the rabbit then it chases the cat. If something is nice and it eats the bald eagle then the bald eagle eats the rabbit. If something is green and it chases the bald eagle then the bald eagle is green. If something is green then it visits the rabbit. If the rabbit is nice and the rabbit chases the cat then the rabbit is green.
The rabbit does not chase the cat.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bear does not eat the bald eagle.[(triple3)] The bear does not visit the cat.[(triple8)] The bear eats the rabbit.[(triple4)] The bear is big.[(triple5)] The bear is green.[(triple6)] The bear is nice.[(triple7)] The cat chases the bald eagle.[(triple9)] The cat is green.[(triple10)] The cat visits the bald eagle.[(triple11)] The cat visits the rabbit.[(triple12 OR ((triple10) -> rule5))] The rabbit eats the cat.[(triple13)] The rabbit is not kind.[(triple14)] The rabbit visits the cat.[(triple15)] @1: The bald eagle is green.[(((triple10 triple9) -> rule4))] The bear visits the rabbit.[(((triple6) -> rule5))] The cat chases the cat.[(((triple12) -> rule2) OR ((((triple10) -> rule5)) -> rule2))] @2: The bald eagle visits the rabbit.[(((((triple10 triple9) -> rule4)) -> rule5))] The bear chases the cat.[(((((triple6) -> rule5)) -> rule2))] @3: The bald eagle chases the cat.[(((((((triple10 triple9) -> rule4)) -> rule5)) -> rule2))]