The bald eagle chases the cat. The bald eagle is not green. The bald eagle is nice. The bald eagle visits the cat. The cat is kind. The cat sees the tiger. The cow sees the bald eagle. The tiger is green. The tiger is nice. The tiger does not visit the cow. If something is kind then it visits the cow. If the bald eagle is blue then the bald eagle is nice. If something chases the cow and the cow visits the tiger then the tiger sees the cow. If something visits the tiger then it sees the tiger. If something visits the cow and it does not chase the tiger then it is kind. If something is blue and it does not visit the cow then it is green. If the cow is green and the cow is not blue then the cow does not see the cat. If something chases the cow and it is not nice then the cow sees the tiger.
The bald eagle is green.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is nice.[(triple3)] The bald eagle is not green.[(triple2)] The bald eagle visits the cat.[(triple4)] The cat is kind.[(triple5)] The cat sees the tiger.[(triple6)] The cow sees the bald eagle.[(triple7)] The tiger does not visit the cow.[(triple10)] The tiger is green.[(triple8)] The tiger is nice.[(triple9)] @1: The cat visits the cow.[(((triple5) -> rule1))]