The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle is round. The bald eagle is young. The bald eagle sees the tiger. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger is kind. The tiger is nice. The tiger is rough. The tiger is round. The tiger is young. The tiger sees the bald eagle. If something chases the tiger and it sees the bald eagle then the bald eagle sees the tiger. If something is nice and it eats the bald eagle then it is round. All nice, kind things are rough. If something sees the bald eagle then the bald eagle is rough. If something sees the tiger and the tiger chases the bald eagle then the bald eagle sees the tiger. If the bald eagle is kind then the bald eagle is nice. If something chases the bald eagle and it is kind then the bald eagle is rough. If something sees the tiger and it sees the bald eagle then it eats the bald eagle.
The tiger eats the tiger.
@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 nice.[(triple4 OR ((triple3) -> rule6))] The bald eagle is rough.[(triple5 OR ((triple16) -> rule4) OR ((triple4 triple3) -> rule3) OR ((triple9 triple11) -> rule7) OR ((((triple3) -> rule6) triple3) -> rule3))] The bald eagle is round.[(triple6)] The bald eagle is young.[(triple7)] The bald eagle sees the tiger.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is rough.[(triple13 OR ((triple12 triple11) -> rule3))] The tiger is round.[(triple14 OR ((triple12 triple10) -> rule2))] The tiger is young.[(triple15)] The tiger sees the bald eagle.[(triple16)]