The bald eagle eats the bear. The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is kind. The bald eagle likes the bear. The bald eagle likes the rabbit. The bald eagle visits the rabbit. The bear eats the bald eagle. The bear eats the rabbit. The bear likes the bald eagle. The bear visits the bald eagle. The rabbit eats the bald eagle. The rabbit is rough. The rabbit likes the bear. The rabbit visits the bear. If someone is round then they are kind. If someone eats the rabbit then they eat the bear. If someone eats the rabbit and the rabbit likes the bald eagle then the rabbit eats the bald eagle. If someone eats the bear then they like the bald eagle. If the bear eats the rabbit and the bear likes the bald eagle then the rabbit is big. If the bald eagle likes the bear then the bear likes the bald eagle. If someone is blue and they like the bear then the bear eats the bald eagle. If someone eats the bald eagle and they like the bear then they eat the rabbit.
The rabbit is kind.
@0: The bald eagle eats the bear.[(triple1 OR ((triple2) -> rule2))] The bald eagle eats the rabbit.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle likes the bear.[(triple5)] The bald eagle likes the rabbit.[(triple6)] The bald eagle visits the rabbit.[(triple7)] The bear eats the bald eagle.[(triple8 OR ((triple3 triple5) -> rule7))] The bear eats the rabbit.[(triple9)] The bear likes the bald eagle.[(triple10 OR ((triple5) -> rule6) OR ((((triple9) -> rule2)) -> rule4))] The bear visits the bald eagle.[(triple11)] The rabbit eats the bald eagle.[(triple12)] The rabbit is rough.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit visits the bear.[(triple15)] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] The bear eats the bear.[(((triple9) -> rule2))] The rabbit eats the rabbit.[(((triple12 triple14) -> rule8))] The rabbit is big.[(((triple9 triple10) -> rule5) OR ((triple9 ((triple5) -> rule6)) -> rule5) OR ((triple9 ((((triple9) -> rule2)) -> rule4)) -> rule5))] @2: The rabbit eats the bear.[(((((triple12 triple14) -> rule8)) -> rule2))] @3: The rabbit likes the bald eagle.[(((((((triple12 triple14) -> rule8)) -> rule2)) -> rule4))]