The bald eagle sees the dog. The cow eats the dog. The cow eats the tiger. The cow is cold. The cow sees the bald eagle. The dog chases the bald eagle. The dog chases the cow. The dog eats the bald eagle. The tiger is green. The tiger sees the cow. If someone eats the tiger and the tiger eats the dog then the dog is cold. If someone eats the dog then the dog chases the cow. If someone is rough and they see the tiger then they are cold.
The tiger is not cold.
@0: The bald eagle sees the dog.[(triple1)] The cow eats the dog.[(triple2)] The cow eats the tiger.[(triple3)] The cow is cold.[(triple4)] The cow sees the bald eagle.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog chases the cow.[(triple7 OR ((triple2) -> rule2))] The dog eats the bald eagle.[(triple8)] The tiger is green.[(triple9)] The tiger sees the cow.[(triple10)]