The bald eagle is cold. The bald eagle needs the tiger. The bald eagle visits the cow. The cow visits the bald eagle. The cow visits the tiger. The dog chases the tiger. The dog needs the bald eagle. The dog needs the cow. The tiger is big. The tiger is blue. The tiger is rough. The tiger visits the bald eagle. If someone is rough and big then they need the dog.
The tiger does not need the dog.
@0: The bald eagle is cold.[(triple1)] The bald eagle needs the tiger.[(triple2)] The bald eagle visits the cow.[(triple3)] The cow visits the bald eagle.[(triple4)] The cow visits the tiger.[(triple5)] The dog chases the tiger.[(triple6)] The dog needs the bald eagle.[(triple7)] The dog needs the cow.[(triple8)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger is rough.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The tiger needs the dog.[(((triple11 triple9) -> rule1))]