The bald eagle likes the bear. The bald eagle likes the cow. The bald eagle needs the bear. The bald eagle needs the cow. The bald eagle needs the tiger. The bear eats the bald eagle. The bear eats the cow. The bear is nice. The bear is rough. The bear likes the cow. The bear likes the tiger. The cow is nice. The cow likes the bald eagle. The cow likes the bear. The tiger eats the bald eagle. The tiger likes the bald eagle. If the tiger needs the bear and the bear is rough then the bear eats the bald eagle. If someone needs the cow then they are blue. If someone eats the bear then they are cold. If someone needs the cow and the cow eats the bald eagle then the cow eats the bear. If someone likes the cow then the cow eats the bald eagle. If someone needs the bald eagle then they like the tiger. If someone needs the bald eagle then they eat the tiger. If someone eats the cow and the cow likes the bear then they need the tiger.
The cow does not eat the cow.
@0: The bald eagle likes the bear.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the cow.[(triple4)] The bald eagle needs the tiger.[(triple5)] The bear eats the bald eagle.[(triple6)] The bear eats the cow.[(triple7)] The bear is nice.[(triple8)] The bear is rough.[(triple9)] The bear likes the cow.[(triple10)] The bear likes the tiger.[(triple11)] The cow is nice.[(triple12)] The cow likes the bald eagle.[(triple13)] The cow likes the bear.[(triple14)] The tiger eats the bald eagle.[(triple15)] The tiger likes the bald eagle.[(triple16)] @1: The bald eagle is blue.[(((triple4) -> rule2))] The bear needs the tiger.[(((triple7 triple14) -> rule8))] The cow eats the bald eagle.[(((triple10) -> rule5) OR ((triple2) -> rule5))] @2: The cow eats the bear.[(((triple4 ((triple10) -> rule5)) -> rule4) OR ((triple4 ((triple2) -> rule5)) -> rule4))] @3: The cow is cold.[(((((triple4 ((triple10) -> rule5)) -> rule4)) -> rule3) OR ((((triple4 ((triple2) -> rule5)) -> rule4)) -> rule3))]