The bald eagle eats the bear. The bald eagle eats the cat. The bear chases the bald eagle. The bear chases the cat. The bear eats the cat. The bear is cold. The bear likes the bald eagle. The bear likes the cat. The cat eats the bear. The cat is cold. Cold people are rough.
The bald eagle does not eat the cat.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the cat.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear chases the cat.[(triple4)] The bear eats the cat.[(triple5)] The bear is cold.[(triple6)] The bear likes the bald eagle.[(triple7)] The bear likes the cat.[(triple8)] The cat eats the bear.[(triple9)] The cat is cold.[(triple10)] @1: The bear is rough.[(((triple6) -> rule1))] The cat is rough.[(((triple10) -> rule1))]