The bear chases the lion. The bear is round. The lion chases the tiger. The lion is red. The lion is round. The rabbit visits the lion. The tiger chases the rabbit. The tiger is cold. The tiger needs the rabbit. The tiger visits the bear. If someone needs the tiger then they need the lion. If someone is cold then they need the tiger.
The tiger does not need the lion.
@0: The bear chases the lion.[(triple1)] The bear is round.[(triple2)] The lion chases the tiger.[(triple3)] The lion is red.[(triple4)] The lion is round.[(triple5)] The rabbit visits the lion.[(triple6)] The tiger chases the rabbit.[(triple7)] The tiger is cold.[(triple8)] The tiger needs the rabbit.[(triple9)] The tiger visits the bear.[(triple10)] @1: The tiger needs the tiger.[(((triple8) -> rule2))] @2: The tiger needs the lion.[(((((triple8) -> rule2)) -> rule1))]