The bald eagle chases the tiger. The bald eagle is big. The bald eagle is blue. The bald eagle is red. The bald eagle likes the rabbit. The bald eagle visits the tiger. The rabbit chases the bald eagle. The rabbit chases the tiger. The rabbit is big. The rabbit is red. The rabbit likes the bald eagle. The rabbit likes the tiger. The tiger chases the rabbit. The tiger is nice. The tiger likes the rabbit. If the bald eagle likes the rabbit then the rabbit is big.
The rabbit does not chase the bald eagle.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle likes the rabbit.[(triple5)] The bald eagle visits the tiger.[(triple6)] The rabbit chases the bald eagle.[(triple7)] The rabbit chases the tiger.[(triple8)] The rabbit is big.[(triple9 OR ((triple5) -> rule1))] The rabbit is red.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The rabbit likes the tiger.[(triple12)] The tiger chases the rabbit.[(triple13)] The tiger is nice.[(triple14)] The tiger likes the rabbit.[(triple15)]