The bald eagle eats the bear. The bald eagle eats the rabbit. The bald eagle is blue. The bear is round. The lion eats the bald eagle. The lion sees the bear. The rabbit visits the bear. If something eats the lion then it is cold. Cold things are rough. If something visits the rabbit then the rabbit sees the bald eagle. If something sees the rabbit and the rabbit is blue then the rabbit sees the bald eagle. If the bear visits the lion and the lion sees the bald eagle then the bald eagle is rough. If something eats the bald eagle then the bald eagle is blue.
The lion is not cold.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is blue.[(triple3 OR ((triple5) -> rule6))] The bear is round.[(triple4)] The lion eats the bald eagle.[(triple5)] The lion sees the bear.[(triple6)] The rabbit visits the bear.[(triple7)]