The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle is big. The bald eagle is blue. The bald eagle is cold. The bald eagle is kind. The bald eagle is red. The bald eagle likes the rabbit. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is red. The rabbit likes the bald eagle. If someone chases the bald eagle and the bald eagle eats the rabbit then they chase the rabbit. If someone chases the rabbit then they like the rabbit. If the rabbit likes the bald eagle and the bald eagle is kind then the rabbit eats the bald eagle. If someone chases the bald eagle then they chase the rabbit. If someone likes the bald eagle then the bald eagle chases the rabbit. If someone likes the bald eagle and they are blue then the bald eagle is cold.
The bald eagle is big.
@0: The bald eagle chases the rabbit.[(triple1 OR ((triple16) -> rule5))] The bald eagle eats the rabbit.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle is cold.[(triple5 OR ((triple16 triple12) -> rule6))] The bald eagle is kind.[(triple6)] The bald eagle is red.[(triple7)] The bald eagle likes the rabbit.[(triple8 OR ((triple1) -> rule2) OR ((((triple16) -> rule5)) -> rule2))] The rabbit chases the bald eagle.[(triple9)] The rabbit eats the bald eagle.[(triple10 OR ((triple16 triple6) -> rule3))] The rabbit is big.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is cold.[(triple13)] The rabbit is kind.[(triple14)] The rabbit is red.[(triple15)] The rabbit likes the bald eagle.[(triple16)] @1: The rabbit chases the rabbit.[(((triple9) -> rule4) OR ((triple9 triple2) -> rule1))] @2: The rabbit likes the rabbit.[(((((triple9) -> rule4)) -> rule2) OR ((((triple9 triple2) -> rule1)) -> rule2))]