The bald eagle is cold. The cow is cold. The dog likes the bald eagle. The tiger visits the dog. If someone visits the dog then the dog is not red. If someone is round and they do not like the tiger then they need the tiger. If someone likes the tiger and they do not visit the tiger then they like the cow.
The tiger needs the dog.
@0: The bald eagle is cold.[(triple1)] The cow is cold.[(triple2)] The dog likes the bald eagle.[(triple3)] The tiger visits the dog.[(triple4)] @1: The dog is not red.[(((triple4) -> rule1))]