The bear chases the tiger. The bear is round. The bear visits the tiger. The mouse chases the bear. The mouse chases the rabbit. The mouse eats the bear. The rabbit eats the tiger. The rabbit is big. The rabbit is red. The rabbit visits the bear. The rabbit visits the tiger. The tiger chases the bear. The tiger eats the rabbit. The tiger is blue. The tiger visits the mouse. If the bear visits the tiger then the tiger is red. If the bear is green then the bear chases the tiger.
The mouse is red.
@0: The bear chases the tiger.[(triple1)] The bear is round.[(triple2)] The bear visits the tiger.[(triple3)] The mouse chases the bear.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse eats the bear.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit is big.[(triple8)] The rabbit is red.[(triple9)] The rabbit visits the bear.[(triple10)] The rabbit visits the tiger.[(triple11)] The tiger chases the bear.[(triple12)] The tiger eats the rabbit.[(triple13)] The tiger is blue.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The tiger is red.[(((triple3) -> rule1))]