The bald eagle is kind. The bald eagle likes the tiger. The bear is red. The bear is rough. The bear likes the tiger. The tiger is not green. The tiger needs the bear. If someone needs the bald eagle and the bald eagle needs the bear then they are green. Kind people are red. Nice, rough people are kind. If someone needs the tiger and they do not visit the tiger then the tiger is not nice. If the bear visits the bald eagle then the bald eagle needs the bear. If someone needs the bear and they are not nice then they visit the bear. If someone needs the bear then they visit the bear. If someone needs the bald eagle and the bald eagle does not visit the bear then the bald eagle is green.
The bear is rough.
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear likes the tiger.[(triple5)] The tiger is not green.[(triple6)] The tiger needs the bear.[(triple7)] @1: The bald eagle is red.[(((triple1) -> rule2))] The tiger visits the bear.[(((triple7) -> rule7))]