The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is blue. The bald eagle is green. The bald eagle is red. The rabbit chases the bald eagle. The rabbit chases the tiger. The rabbit is red. The rabbit is rough. The rabbit sees the tiger. The tiger chases the bald eagle. The tiger chases the rabbit. The tiger eats the bald eagle. The tiger is cold. The tiger is green. The tiger sees the rabbit. If something chases the bald eagle and it eats the rabbit then the bald eagle sees the tiger. If something chases the rabbit then the rabbit chases the tiger. If something is cold then it is blue. If the bald eagle sees the tiger and the bald eagle chases the tiger then the tiger sees the bald eagle. If the bald eagle eats the rabbit then the bald eagle sees the rabbit. If something sees the rabbit and the rabbit eats the bald eagle then the bald eagle chases the tiger.
The rabbit chases the tiger.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is red.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit chases the tiger.[(triple7 OR ((triple12) -> rule2))] The rabbit is red.[(triple8)] The rabbit is rough.[(triple9)] The rabbit sees the tiger.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger chases the rabbit.[(triple12)] The tiger eats the bald eagle.[(triple13)] The tiger is cold.[(triple14)] The tiger is green.[(triple15)] The tiger sees the rabbit.[(triple16)] @1: The tiger is blue.[(((triple14) -> rule3))]