The bald eagle is nice. The bear is blue. The tiger chases the bear. If someone visits the bear and they are green then they chase the tiger. If someone is blue and they chase the tiger then the tiger likes the bear. If someone likes the tiger and the tiger is nice then the tiger is cold. If someone is blue then they chase the tiger. If someone visits the bear then the bear is blue. If someone chases the bear then the bear chases the tiger.
The bear is not blue.
@0: The bald eagle is nice.[(triple1)] The bear is blue.[(triple2)] The tiger chases the bear.[(triple3)] @1: The bear chases the tiger.[(((triple2) -> rule4) OR ((triple3) -> rule6))] @2: The tiger likes the bear.[(((triple2 ((triple2) -> rule4)) -> rule2) OR ((triple2 ((triple3) -> rule6)) -> rule2))]