The bald eagle is not kind. The bald eagle likes the bear. The bear is not young. The bear likes the bald eagle. The bear likes the squirrel. The squirrel eats the bald eagle. The squirrel likes the bear. If someone likes the squirrel then they do not eat the bald eagle. If someone eats the bear and they visit the bear then they are not red. If someone visits the bald eagle then they visit the squirrel. If someone likes the bald eagle then the bald eagle eats the bear. If someone visits the bald eagle and the bald eagle likes the squirrel then the bald eagle is blue. If the bear does not like the squirrel then the bear does not visit the squirrel. If someone likes the bear then they visit the bald eagle. If someone is young and they do not visit the bald eagle then the bald eagle is red.
The bald eagle does not like the bear.
@0: The bald eagle is not kind.[(triple1)] The bald eagle likes the bear.[(triple2)] The bear is not young.[(triple3)] The bear likes the bald eagle.[(triple4)] The bear likes the squirrel.[(triple5)] The squirrel eats the bald eagle.[(triple6)] The squirrel likes the bear.[(triple7)] @1: The bald eagle eats the bear.[(((triple4) -> rule4))] The bald eagle visits the bald eagle.[(((triple2) -> rule7))] The bear does not eat the bald eagle.[(((triple5) -> rule1))] The squirrel visits the bald eagle.[(((triple7) -> rule7))] @2: The bald eagle visits the squirrel.[(((((triple2) -> rule7)) -> rule3))] The squirrel visits the squirrel.[(((((triple7) -> rule7)) -> rule3))]