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