The bear likes the tiger. The lion does not eat the rabbit. The rabbit likes the bear. The tiger is not rough. If someone eats the rabbit then they like the tiger. If the tiger is not round then the tiger visits the bear. If someone eats the lion then the lion is round. If someone eats the rabbit and they like the lion then they like the bear. If someone eats the rabbit then they like the bear. If the rabbit is cold then the rabbit visits the tiger. If someone likes the tiger then they eat the rabbit. If someone likes the lion and the lion visits the tiger then they do not visit the rabbit.
The lion is not round.
@0: The bear likes the tiger.[(triple1)] The lion does not eat the rabbit.[(triple2)] The rabbit likes the bear.[(triple3)] The tiger is not rough.[(triple4)] @1: The bear eats the rabbit.[(((triple1) -> rule7))] @2: The bear likes the bear.[(((((triple1) -> rule7)) -> rule5))]