The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is green. The bald eagle is nice. The bald eagle likes the mouse. The mouse is kind. The mouse is nice. The rabbit chases the tiger. The rabbit eats the bald eagle. The rabbit eats the mouse. The rabbit is kind. The rabbit is round. The rabbit likes the tiger. The tiger chases the rabbit. The tiger eats the bald eagle. The tiger likes the bald eagle. If the mouse eats the bald eagle and the bald eagle is young then the bald eagle is kind. If something is round then it is kind. If something likes the mouse and the mouse eats the tiger then it likes the bald eagle. If something chases the rabbit and it is kind then it chases the bald eagle. If something chases the bald eagle then the bald eagle is nice. If something likes the tiger then the tiger likes the bald eagle.
The mouse does not like the bald eagle.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle likes the mouse.[(triple5)] The mouse is kind.[(triple6)] The mouse is nice.[(triple7)] The rabbit chases the tiger.[(triple8)] The rabbit eats the bald eagle.[(triple9)] The rabbit eats the mouse.[(triple10)] The rabbit is kind.[(triple11 OR ((triple12) -> rule2))] The rabbit is round.[(triple12)] The rabbit likes the tiger.[(triple13)] The tiger chases the rabbit.[(triple14)] The tiger eats the bald eagle.[(triple15)] The tiger likes the bald eagle.[(triple16 OR ((triple13) -> rule6))]