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