The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is kind. The bald eagle is rough. The bald eagle is round. The bald eagle is young. The bald eagle likes the tiger. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger is kind. The tiger is red. The tiger is round. If something is rough and not red then it is kind. If something chases the tiger and the tiger likes the bald eagle then the tiger eats the bald eagle. If the tiger chases the bald eagle and the tiger does not like the bald eagle then the bald eagle is not kind. If the bald eagle is kind then the bald eagle is rough. If something likes the tiger and the tiger chases the bald eagle then the bald eagle is young. If the bald eagle does not like the tiger and the tiger does not eat the bald eagle then the tiger is young.
The tiger is not young.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is rough.[(triple4 OR ((triple3) -> rule4))] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6 OR ((triple7 triple8) -> rule5))] The bald eagle likes the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger is kind.[(triple10)] The tiger is red.[(triple11)] The tiger is round.[(triple12)]