The bald eagle likes the squirrel. The bear is big. The dog visits the squirrel. The squirrel visits the dog. If someone likes the bear and they chase the bald eagle then they visit the dog. If someone likes the bald eagle and they are nice then the bald eagle is round. If someone is nice and they visit the squirrel then the squirrel likes the bear. If someone likes the squirrel then they like the dog. If someone visits the dog then the dog is big. All nice people are round.
The bear is not big.
@0: The bald eagle likes the squirrel.[(triple1)] The bear is big.[(triple2)] The dog visits the squirrel.[(triple3)] The squirrel visits the dog.[(triple4)] @1: The bald eagle likes the dog.[(((triple1) -> rule4))] The dog is big.[(((triple4) -> rule5))]