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