The bald eagle is red. The bear likes the cat. The cat visits the rabbit. The rabbit visits the bald eagle. If something likes the cat then it does not visit the rabbit. If something is cold then it likes the bear.
The bear does not like the cat.
@0: The bald eagle is red.[(triple1)] The bear likes the cat.[(triple2)] The cat visits the rabbit.[(triple3)] The rabbit visits the bald eagle.[(triple4)] @1: The bear does not visit the rabbit.[(((triple2) -> rule1))]