The bald eagle is blue. The bald eagle sees the tiger. The bear needs the rabbit. The bear sees the rabbit. The bear visits the bald eagle. The bear visits the rabbit. The rabbit is young. The rabbit needs the bald eagle. The rabbit needs the tiger. The rabbit sees the bald eagle. The rabbit visits the bear. The rabbit visits the tiger. The tiger is big. The tiger is kind. The tiger needs the bald eagle. The tiger needs the rabbit. All blue things are red. If the tiger needs the bear then the tiger visits the bald eagle. If something visits the bear and the bear sees the rabbit then the bear visits the tiger.
The tiger is not red.
@0: The bald eagle is blue.[(triple1)] The bald eagle sees the tiger.[(triple2)] The bear needs the rabbit.[(triple3)] The bear sees the rabbit.[(triple4)] The bear visits the bald eagle.[(triple5)] The bear visits the rabbit.[(triple6)] The rabbit is young.[(triple7)] The rabbit needs the bald eagle.[(triple8)] The rabbit needs the tiger.[(triple9)] The rabbit sees the bald eagle.[(triple10)] The rabbit visits the bear.[(triple11)] The rabbit visits the tiger.[(triple12)] The tiger is big.[(triple13)] The tiger is kind.[(triple14)] The tiger needs the bald eagle.[(triple15)] The tiger needs the rabbit.[(triple16)] @1: The bald eagle is red.[(((triple1) -> rule1))] The bear visits the tiger.[(((triple11 triple4) -> rule3))]