The bear likes the tiger. The tiger is round. If someone is young then they like the bear. If the tiger is round and the tiger likes the bear then the bear chases the tiger. If the tiger is young and the tiger eats the bear then the bear is kind. If someone is young and they chase the tiger then they like the bear. If someone likes the tiger then they chase the tiger. If someone chases the tiger then the tiger likes the bear. If someone chases the tiger and they are red then the tiger chases the bear. If someone likes the bear and the bear chases the tiger then the bear likes the tiger.
The tiger is round.
@0: The bear likes the tiger.[(triple1)] The tiger is round.[(triple2)] @1: The bear chases the tiger.[(((triple1) -> rule5))] @2: The tiger likes the bear.[(((((triple1) -> rule5)) -> rule6))]