The bald eagle chases the tiger. The bald eagle does not eat the tiger. The bald eagle is kind. The bald eagle is not red. The bald eagle is rough. The bald eagle is round. The bald eagle likes the tiger. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger is blue. The tiger is kind. The tiger is red. The tiger is rough. The tiger is round. The tiger likes the bald eagle. If someone is round and they like the tiger then the tiger eats the bald eagle. If someone eats the bald eagle then they like the tiger. If someone eats the tiger and the tiger does not eat the bald eagle then the tiger does not chase the bald eagle. If someone chases the tiger then the tiger chases the bald eagle. If the bald eagle chases the tiger and the bald eagle does not like the tiger then the bald eagle is rough. If the tiger does not chase the bald eagle then the tiger is kind.
The bald eagle is blue.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle does not eat the tiger.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is not red.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle likes the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8 OR ((triple1) -> rule4))] The tiger eats the bald eagle.[(triple9 OR ((triple6 triple7) -> rule1))] The tiger is blue.[(triple10)] The tiger is kind.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger is round.[(triple14)] The tiger likes the bald eagle.[(triple15)] @1: The tiger likes the tiger.[(((triple9) -> rule2) OR ((((triple6 triple7) -> rule1)) -> rule2))]