The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is big. The bald eagle is cold. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the tiger. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger is big. The tiger is cold. The tiger is kind. The tiger is nice. The tiger is rough. The tiger likes the bald eagle. If something chases the tiger and the tiger is rough then it likes the bald eagle. If the bald eagle likes the tiger then the bald eagle is kind. All rough things are kind.
The tiger does not chase the tiger.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is kind.[(triple5 OR ((triple7) -> rule3) OR ((triple8) -> rule2))] The bald eagle is nice.[(triple6)] The bald eagle is rough.[(triple7)] The bald eagle likes the tiger.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger is big.[(triple11)] The tiger is cold.[(triple12)] The tiger is kind.[(triple13 OR ((triple15) -> rule3))] The tiger is nice.[(triple14)] The tiger is rough.[(triple15)] The tiger likes the bald eagle.[(triple16)] @1: The bald eagle likes the bald eagle.[(((triple1 triple15) -> rule1))]