The bear does not chase the rabbit. The bear chases the tiger. The bear eats the rabbit. The bear visits the tiger. The rabbit visits the tiger. The tiger is cold. The tiger is rough. The tiger is round. The tiger visits the bear. The tiger visits the rabbit. If something chases the rabbit and the rabbit is not young then it visits the tiger. If something visits the rabbit then the rabbit visits the bear. If something eats the tiger then it chases the rabbit. If something chases the rabbit then it does not visit the rabbit. If something eats the bear and it is round then it does not eat the rabbit. If something visits the bear and it eats the rabbit then the bear chases the tiger. If something is cold then it eats the bear. If something is kind and it does not chase the rabbit then it eats the bear.
The tiger chases the rabbit.
@0: The bear chases the tiger.[(triple2)] The bear does not chase the rabbit.[(triple1)] The bear eats the rabbit.[(triple3)] The bear visits the tiger.[(triple4)] The rabbit visits the tiger.[(triple5)] The tiger is cold.[(triple6)] The tiger is rough.[(triple7)] The tiger is round.[(triple8)] The tiger visits the bear.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The rabbit visits the bear.[(((triple10) -> rule2))] The tiger eats the bear.[(((triple6) -> rule7))] @2: The tiger does not eat the rabbit.[(((((triple6) -> rule7) triple8) -> rule5))]